{"entities":{"Q5178036":{"pageid":7207608,"ns":120,"title":"Item:Q5178036","lastrevid":94383302,"modified":"2026-06-05T06:40:12Z","type":"item","id":"Q5178036","labels":{"en":{"language":"en","value":"A sound (and complete) model of contracts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6413047"}},"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":"Q5178036$787F5DCD-A0DF-4770-9575-35F478098EE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1cda406630dd78565ca8d3e0f6ea7f0857d0c41","datavalue":{"value":{"text":"A sound (and complete) model of contracts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178036$312C9FFC-9D50-4C95-A789-2C01A8008B9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee9b33742e5a58406bee5c56dbd111bd128518ee","datavalue":{"value":"1323.68353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178036$6C7E0BC5-1FF0-453D-AF54-B2B7947F36FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54c3162f2c9f092fe2a7d2a96172dcda640c0a72","datavalue":{"value":"10.1145/1016850.1016876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178036$2F02F01D-2975-46FC-A0AE-1960F7D66C70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f0d110715e7988237d4ccc57f00b3dc84ce7067","datavalue":{"value":{"entity-type":"item","numeric-id":3189849,"id":"Q3189849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178036$3356383D-F9E1-456C-BF9C-0F16EA36BC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"beb5106ba49154afabb9f9946542b2d455346f8a","datavalue":{"value":{"entity-type":"item","numeric-id":1102217,"id":"Q1102217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178036$E25D6BC3-78E8-4991-BBD4-8B32C5D6889E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f33a483a1a2d9de990034c7d88e54d11356b8521","datavalue":{"value":{"entity-type":"item","numeric-id":5178016,"id":"Q5178016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178036$AB39433D-C636-4A30-B8F3-9E4C0B2B29D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19529df7d3312773fdd8684f0485c293d53ec310","datavalue":{"value":{"time":"+2015-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178036$AC8DF4B7-0833-41BA-A485-3D6E46321AB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178036$0D12C0A2-931A-4CE9-BF8B-2DBC8E31CB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178036$3F155BB5-0093-430F-B125-1D4DDEA175B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"187008bcd65033527cfc3e0a9167da43cd4c842b","datavalue":{"value":"6413047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178036$EA60CBE2-F3A3-48D1-93E3-156758032EEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6839e7a5bf845c5aa2d2c6fcdf96d0d9976a520","datavalue":{"value":"contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178036$BAEA7695-8FB4-48B0-BB1D-8CB287452060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b372100788f2f7988d67083edc1543133552ef24","datavalue":{"value":"predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178036$2F887BA7-2570-48CA-AA32-0DE8F4DBC20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178036$CF33982E-A76D-43DC-A9BB-04498A1F4C4E","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":"Q5178036$72475955-8883-416F-AFCF-D0171B77366D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"060370d5534ddab38a963c7300c7b6abdab442fb","datavalue":{"value":"https://doi.org/10.1145/1016850.1016876","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178036$A85E22D0-179D-4BF7-A23B-D93C75333AF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3fe57b5a734eb4d7a5fa5c262cab0d986927828","datavalue":{"value":"W4249873580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178036$1B6966F4-C3DB-4FCF-AAD3-808B032828E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1392d90c81a63b31916389ecf1b44cc6c08431ec","datavalue":{"value":{"entity-type":"item","numeric-id":5482278,"id":"Q5482278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10d0e5ff6de642b54f43022221717f5f21f61f6c","datavalue":{"value":{"amount":"+0.977311909198761","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":"Q5178036$5837C9D2-1BD4-435E-9CD5-95C35C62104B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3507a2854a81a8b9a3a406db118284eb639a7a4","datavalue":{"value":{"entity-type":"item","numeric-id":3434635,"id":"Q3434635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"261a0979656d87f202328c44619f56f0fea84038","datavalue":{"value":{"amount":"+0.801755428314209","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":"Q5178036$8C0E7228-A276-471A-BF05-D30C5E0DED20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7a538c47871cfa0fd1f3ef981dcd17c544a18e","datavalue":{"value":{"entity-type":"item","numeric-id":5255093,"id":"Q5255093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c463f0382013d5834bf35e59db4e11f3badef018","datavalue":{"value":{"amount":"+0.7864376306533813","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":"Q5178036$E5A59116-5EB5-4604-9EC8-4419CF867176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54fbeaf5920feb31958054f7fb2f25e801064732","datavalue":{"value":{"entity-type":"item","numeric-id":3000571,"id":"Q3000571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef75e5a9cbb1eb2580b8dbc248ef688fe46e5214","datavalue":{"value":{"amount":"+0.7846473455429077","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":"Q5178036$1C8E136B-3DC1-4AD3-B68E-4B6625F03C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b006d7c3a325d3d8fbf0c697205f66cd2266aec","datavalue":{"value":{"entity-type":"item","numeric-id":5398336,"id":"Q5398336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a48c2e14d324c7cb9a87253c7be94380cde287a","datavalue":{"value":{"amount":"+0.7825015783309937","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":"Q5178036$5230D2B5-4B9D-4A86-8BD7-067D4B386887","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sound (and complete) model of contracts","badges":[]}}}}}