{"entities":{"Q2892729":{"pageid":2903454,"ns":120,"title":"Item:Q2892729","lastrevid":84886634,"modified":"2026-06-03T05:02:07Z","type":"item","id":"Q2892729","labels":{"en":{"language":"en","value":"Complete monitors for behavioral contracts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049266"}},"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":"Q2892729$927DB8FA-50D9-4B63-93D5-CE2950D78CA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c2aebd6441ce337883ece6015b9717d6cfd6bd4","datavalue":{"value":{"text":"Complete Monitors for Behavioral Contracts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892729$D68499D4-ADF4-4272-8A17-6429771AB102","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"089f5cc0c59bf0fea639af93a481130fcaffc1ca","datavalue":{"value":"1352.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892729$9A9D2477-00AF-42F6-9D3A-146341EBC39A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b13fb37e3c6bbe75761885e038f557bb319a2066","datavalue":{"value":"10.1007/978-3-642-28869-2_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892729$F0ED0257-000E-4C2C-AD1D-D162C3561972","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d6271729cb0d536b22be92fc38d16fa2057dd42","datavalue":{"value":{"entity-type":"item","numeric-id":2233483,"id":"Q2233483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892729$A37EE882-6FF8-41DA-A11D-F613326A267F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"857f47005d5cd088f15dcdea31478d1f48895b38","datavalue":{"value":{"entity-type":"item","numeric-id":2802445,"id":"Q2802445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892729$C730E367-35F9-4ADF-8C38-A81E31084D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bfe7eec3db288eadfe34f00a6ac258323c994e5","datavalue":{"value":{"entity-type":"item","numeric-id":608230,"id":"Q608230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892729$64B99D43-96B2-4AAE-AA8E-53AD5481C37A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892729$56A609FB-E006-4D30-8BB8-8BB8C4E2E970","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07eaa53cd09094048e0acc4ff8bce144ed1564df","datavalue":{"value":{"time":"+2012-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892729$3020B06E-77D8-40E6-8E0A-0C0DB3117F90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892729$9FE1FDE7-BF95-4564-9550-103D59EBC9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892729$D924866A-598C-49CC-BAF1-86F92BD252B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892729$FE6C7731-7E2F-4623-BF80-8373FDF5755B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892729$00405486-FBD0-4E14-BE24-8AA63A42345E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3896572161ab6f066a692ad332906b3e53057ec0","datavalue":{"value":"6049266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892729$CAD9692E-A8D2-41EB-AF46-008F7B08877C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c9a0df9122dc78e7f5a8c060fc19650629359b","datavalue":{"value":"higher-order programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892729$9CD94486-BEE0-4DC6-8767-42ED4FB8F520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b04b61297136ebb77e73a4d547b3a8fa366888","datavalue":{"value":"behavioral contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892729$1BCEFF68-1C5C-4958-B254-02EFDED14C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b05d0de817494b10c58dc1ef563a327a8023147f","datavalue":{"value":"contract checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892729$318462AC-AC08-4A1F-A92C-C3337B5C10F7","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":"Q2892729$A4E6EC36-CDAE-43E6-A594-051ED0659961","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c348c86eb27454fbc1b4255bf46b5f6c54e066d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28869-2_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892729$66107A3E-58E1-4FC5-ACC6-F65CD3ADD653","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"badacce7d9ad36cc38d9a62251e7650ab62fbc58","datavalue":{"value":"W2218092420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892729$9B321CEC-3F6E-4808-B93E-2A45EB3A81E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"976f0e7cb3cd692f6aaed9922d226884cd413d05","datavalue":{"value":{"entity-type":"item","numeric-id":2981991,"id":"Q2981991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f41965ba259c42daab16251b5a1e1333b7d85001","datavalue":{"value":{"amount":"+0.8120723962783813","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":"Q2892729$4232434F-AAFB-456B-A171-098699302F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6418a4a79e82835cf876d40bde74d3c5ae6b973","datavalue":{"value":{"entity-type":"item","numeric-id":526445,"id":"Q526445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d258c4cca01114b013d7964a33c63fe7a439204d","datavalue":{"value":{"amount":"+0.7899062633514404","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":"Q2892729$1748E449-2EC5-4153-843E-22D0722AFB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"348ece2fcb77ed4262ce3baa501b20d7482ff15a","datavalue":{"value":{"entity-type":"item","numeric-id":710673,"id":"Q710673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c04f57a107f13d9355a1e564e0a21e4cfcca29a","datavalue":{"value":{"amount":"+0.7786018252372742","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":"Q2892729$D25537AA-B406-41EA-A76C-1833848DDB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4369105ae1db4f7b3a77cd3411eefdae07ff719a","datavalue":{"value":{"entity-type":"item","numeric-id":5408545,"id":"Q5408545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a26733a047bc503a19957753a9e446e04037cb","datavalue":{"value":{"amount":"+0.7754700183868408","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":"Q2892729$7DF5A529-2E8F-4E50-B5A3-736366653B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0e5b6cb6223907556c4d37e60e04126d735649e","datavalue":{"value":{"entity-type":"item","numeric-id":4577815,"id":"Q4577815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d12b653b57223d1cf3c23de9c9c3c8ab7f627344","datavalue":{"value":{"amount":"+0.7601156830787659","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":"Q2892729$13E84E75-CD9D-4FEF-A096-1271FB7DA87B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete monitors for behavioral contracts","badges":[]}}}}}