{"entities":{"Q4612422":{"pageid":6642005,"ns":120,"title":"Item:Q4612422","lastrevid":53337005,"modified":"2026-01-24T18:37:20Z","type":"item","id":"Q4612422","labels":{"en":{"language":"en","value":"Trust domains in system models: algebra, logic, utility, and combinators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009536"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612422$3B861398-54D9-402B-92C1-300B45B5C953","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b75970776c50f9d03e20cf630b41913d0c42faa","datavalue":{"value":{"text":"Trust domains in system models: algebra, logic, utility, and combinators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612422$6EF7882A-0BB6-4AC4-B7D3-BC465E104ACE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0044fe149ce8f39251ca7aa32fc9965801dc3590","datavalue":{"value":"1448.68439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612422$CF09E425-1F8A-4007-A50D-A2341591C87A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0674c542ea8ed903ccdb105681f80860629b3919","datavalue":{"value":{"entity-type":"item","numeric-id":906270,"id":"Q906270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612422$141A29FE-7F95-4033-B214-D63669D4D787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612422$E0DBEA4D-BE95-43F9-9D21-B77EC969F823","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cff588b238fe649ad35be9c49b1edf5332cb4aa","datavalue":{"value":{"time":"+2019-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4612422$F50B3ACD-C371-4E51-A332-CDF1FCD6B0FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f36da7cf46ad402263311eb2e6498797e1394ec9","datavalue":{"value":"https://semanticscholar.org/paper/94e9d95d1d1bc83c8ab8ed144965dc5f999530ef","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612422$50AF9C49-1408-41CC-BB08-3C6881CC0988","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612422$B6565AC5-B0C2-4A4B-A785-F18559ABA46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612422$7F15B668-510C-4FD4-8031-01B84A3175D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd6a0b7db23bfa13ca28fbe8fd2bad16f77da9fc","datavalue":{"value":"7009536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612422$CA50157E-DC7A-477D-A66D-83AFDE917BB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612422$2F9F77E7-F8E7-41A2-83A0-20308DFF21D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"135244fa644c6e2a9cd6a377d5f456744d345b68","datavalue":{"value":"utility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612422$98A6323E-A0E5-4B8B-9687-1D44E40FA3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612422$B248FA9B-18B7-49C6-B038-F0978CA1DA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4724c5a9ecdf408bc3c9c1ca8a8a3fc19f7dafbf","datavalue":{"value":"resource semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612422$5859BC03-6933-4818-92AE-548B341DB416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6649bc0d52f868d973c35c5bbde954fb9a588761","datavalue":{"value":"trust","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612422$4378933F-52BB-47E2-8260-9310D3AD68D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453dffe903df1c5b47c9d810948be9e5b7d261b6","datavalue":{"value":"agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612422$370A27E0-0803-4322-8A0D-161965DDA431","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612422$D516B6C4-1941-4B73-9276-ECE441ACF220","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca065fa985bbbc05296aa732c0ae0d4456f09761","datavalue":{"value":"W2278701577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612422$2CE5F49E-F567-4404-A034-9870B61DCEE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a2da00bd68c6e7c5537aa81d7a1c2ed4fa977fe","datavalue":{"value":"10.1093/LOGCOM/EXV030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612422$D4937498-ACE8-4299-990B-4F88F6747089","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612422$1D67FECE-A22C-4E58-B4DC-A4F7BB8C24AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7614ed0797d2bf0306aa23483e90bb31aa135101","datavalue":{"value":{"entity-type":"item","numeric-id":4415134,"id":"Q4415134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a612d9fc53547eccfcad7d5ca05bce3dcbbae1b8","datavalue":{"value":{"amount":"+0.7654892206192017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612422$CF0E5E45-A3E8-4B1F-A988-B3EAF1B2B5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85235c7f9c49f969084cfd72049c100a11bdb7f2","datavalue":{"value":{"entity-type":"item","numeric-id":3644779,"id":"Q3644779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30878acddaeaf44e662250a6de0dc297028b86b","datavalue":{"value":{"amount":"+0.7457278370857239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612422$294428F8-B7BC-4D62-9F5D-E17FCDCA23D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"351a13eeb1e3dbe5ea87ebb37bac7637b453566d","datavalue":{"value":{"entity-type":"item","numeric-id":3522042,"id":"Q3522042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6aa3555de65664f6de8db74fd7d2fe5378c3666","datavalue":{"value":{"amount":"+0.7394938468933105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612422$B9FF5E96-41B3-4E29-9AE3-154DB7F034E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e63c1ef2e202a234fb6a85d2fc0e0fd52e897a8","datavalue":{"value":{"entity-type":"item","numeric-id":5307995,"id":"Q5307995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b554504e6a1a1994d10d656934ade86e91d28f","datavalue":{"value":{"amount":"+0.7392067909240723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612422$B5A2D101-5BAA-4DBE-A48E-2ED713AB9513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a034d720cd89435a6cc1bd3b90b246e3ceaed5b1","datavalue":{"value":{"entity-type":"item","numeric-id":4475350,"id":"Q4475350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"459b7b54364c4286467b6e1ddcbd94f82e380438","datavalue":{"value":{"amount":"+0.7248891592025757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612422$8A1874F9-A0A7-4495-92BE-51C524EFF0AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4612422","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4612422"}}}}}