{"entities":{"Q5277809":{"pageid":7307384,"ns":120,"title":"Item:Q5277809","lastrevid":94659071,"modified":"2026-06-05T07:23:09Z","type":"item","id":"Q5277809","labels":{"en":{"language":"en","value":"What causes a system to satisfy a specification?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744060"}},"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":"Q5277809$B48C4B8C-0E3B-419F-AC5A-A38219DBC7DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd34c6d86f45978806fe31aba360a91a6432de5f","datavalue":{"value":{"text":"What causes a system to satisfy a specification?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277809$6A7BD7C3-3BFD-42BB-B132-68B6F422CD5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fdcab6811c076f44c6e94f0a31362c77a26e632","datavalue":{"value":"1367.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277809$4D3C1D23-4D0D-4EBE-8550-CD4333F25E18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88362aaafa848996da88d2df87d4c4755785a8d1","datavalue":{"value":"10.1145/1352582.1352588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277809$F3D54F07-6B11-4D30-B1C9-1FC69CCA95E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a7855d416a438be572c6a7aefce1c905376fea9","datavalue":{"value":{"entity-type":"item","numeric-id":233000,"id":"Q233000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277809$DDDB526C-B098-432E-9A92-886D188581E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddea5ba0eeb9138fb9e2a8de5e2cddb8c80bf84a","datavalue":{"value":{"entity-type":"item","numeric-id":272148,"id":"Q272148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277809$10CE4D73-3D43-4512-AD4D-86599FB3FF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277809$7C69D237-39B2-4B61-8635-323C784F7AF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277809$3680818C-276C-4BEB-BE48-C2568E190D3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277809$92849136-6E68-4D22-B8DB-53B1E7FE9FEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0dc8acfc26419a3c4f8f500278a3e3637252f01","datavalue":{"value":"https://arxiv.org/abs/cs/0312036","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277809$7F92597A-BF58-4042-B119-51910523526B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277809$D39173D5-D546-4FF4-9AC4-1167ABF89CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277809$83CB3F6A-374C-44A6-B167-D5B1EF1DEFE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce3539ec4b0055192783aa63bf6d861a799062bb","datavalue":{"value":"6744060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277809$60B4C4BE-7755-4624-9B44-6EB7948DBDEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277809$5191EDD8-1093-4F9A-BAE0-7F980060903A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c40ddf808060ba42d097128ffb37e89bf3adfd06","datavalue":{"value":"causality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277809$9270F062-42BB-4AA1-AA22-29027A3767BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc3697c38c76892d1eb9f4be26548e53d498034","datavalue":{"value":"coverage metrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277809$A695F985-A172-43EF-B3DB-9355127F7451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abacd1a1ea4e0e64f54b23a9f15a75acbb173e50","datavalue":{"value":"responsibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277809$BAAE5A78-DB46-468B-9D90-3175F9BE34C3","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":"Q5277809$102D9C3B-7F31-4362-883E-457D7821DA9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e8fe1795d783600167995b3ad35e6efb134e37b","datavalue":{"value":"W2130780163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277809$AE0A43B1-2DEE-4480-8CBA-F759777428E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be14ee3b3bd3e590de36c2e655d28daca8a3e4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4250662,"id":"Q4250662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7867b8231dc8c1d18ea63bd81c204e437e78357","datavalue":{"value":{"amount":"+0.79149365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277809$38ABFC00-CAF1-4E29-B41B-3FBC612801DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12c0033fd74fb3b04468dc09cb3acd14205c3ed0","datavalue":{"value":{"entity-type":"item","numeric-id":2946617,"id":"Q2946617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401c03fd109aafd3f869627eb29f55139ffeee62","datavalue":{"value":{"amount":"+0.78506494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277809$EB80CB96-E247-4C9A-837F-6431EC5A4161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f712d714466dd0f215bf5f948fdc83a4acc980b","datavalue":{"value":{"entity-type":"item","numeric-id":1974983,"id":"Q1974983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87bf43622ea3356887aaabedba2721a43aeb788d","datavalue":{"value":{"amount":"+0.70095944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277809$B90687C8-1FF4-4557-98F5-9F08CE92B6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd6d00c7b8a5d4081cfbfee8571f03304a3f7ac","datavalue":{"value":{"entity-type":"item","numeric-id":4210110,"id":"Q4210110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84e7fdff96d6735489bc595656612f4e5ff8f20","datavalue":{"value":{"amount":"+0.6888492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277809$3C18812B-C4E2-4738-8625-8BBE019A7A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca28f103fd8236af971716c21415eb2e12e9bfcc","datavalue":{"value":{"entity-type":"item","numeric-id":625100,"id":"Q625100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1df60cb23244dc94a5c28b397e5b30b31e28291","datavalue":{"value":{"amount":"+0.68519413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277809$8896BE70-DAA7-4AF5-B063-FF3B5B2D7177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b43638e9d7531c09dec8d75d3188bb6b35c06607","datavalue":{"value":{"entity-type":"item","numeric-id":3020352,"id":"Q3020352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ba3c5181ab1c717f52bc8ae00de09d019d2c1b","datavalue":{"value":{"amount":"+0.68461186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277809$EE7F03FE-4B97-433B-9DBD-32A57A2DBB3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"What causes a system to satisfy a specification?","badges":[]}}}}}