{"entities":{"Q3370736":{"pageid":3381440,"ns":120,"title":"Item:Q3370736","lastrevid":87048437,"modified":"2026-06-04T10:33:14Z","type":"item","id":"Q3370736","labels":{"en":{"language":"en","value":"A compositional trace logic for behavioural interface specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5004760"}},"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":"Q3370736$102BA2FA-7B6C-44CC-BBFC-6E521F177F1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9fb431924ec80355aa84ff6a19cb084b6570e1e","datavalue":{"value":"1087.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370736$C717A7FF-53C6-4A2A-8E13-AA4436707F59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2f8ff79fbb210cf8b841af0f9db364025e1e636","datavalue":{"value":{"entity-type":"item","numeric-id":3370735,"id":"Q3370735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370736$F3ADF5C9-3B08-4735-8E9E-A3B86F09B55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370736$377FAEB7-FB51-41A3-AF74-B3CE082F1223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4a33e668865998ad06e8768f6451ffff95432cb","datavalue":{"value":{"entity-type":"item","numeric-id":967529,"id":"Q967529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370736$B7D8B26B-0F7B-4C9B-932A-80BBD0EF787B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7be842e5bc1b54667cb2f669eb29d91c2f271633","datavalue":{"value":{"time":"+2006-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3370736$27AF7950-D0AD-4139-AA9D-403329BB29F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370736$61BFA415-F675-4413-AEF1-866D359165BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370736$548DB9C6-3324-4683-BFD0-4CB0DC217930","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cd9198c829a145629388dd12b548d090b9fa718","datavalue":{"value":"5004760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370736$76A96BC9-FD60-44BE-8AB2-0CAF85A7C1A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370736$6E898EE2-A79B-452D-817F-218692F70083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed348799ebec423ed46bf59f54021278c818f06d","datavalue":{"value":"interface invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370736$2EE26BA0-3896-4631-804F-93CE30715250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc28148f80d1cd841503eab98118618ce3afcc1a","datavalue":{"value":"object creation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370736$0E6EA522-4814-46B8-B439-293FF2ABC283","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370736$DD84C159-37C5-4272-B341-7D1DF54104FD","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":"Q3370736$E3DAF7A3-4DDC-4A51-9049-CAAE0AC34033","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e5f41365c5d9b350f6af69bb3a8ef9e0cc0b6b","datavalue":{"value":{"entity-type":"item","numeric-id":3569039,"id":"Q3569039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def43592c002e2a4e92bd82e889d1914e162468e","datavalue":{"value":{"amount":"+0.71834397315979","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":"Q3370736$87506D90-871A-4381-9B86-6EFA380F2C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d2f86eca62e9117c9be39ba04f08ed51c8caa8","datavalue":{"value":{"entity-type":"item","numeric-id":2180531,"id":"Q2180531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d3d95a204f457042b22a4787699884bde3c761","datavalue":{"value":{"amount":"+0.7176989316940308","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":"Q3370736$FAA2354C-AD5F-44BC-96DB-C33FBF4B4A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56ed96ba959728eb1c24d194bb198df3c4a744f9","datavalue":{"value":{"entity-type":"item","numeric-id":5311302,"id":"Q5311302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a616dc6b054fff0908b1f0dd7cac1ba8d33d3d4f","datavalue":{"value":{"amount":"+0.7113398313522339","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":"Q3370736$1FE8DAF8-2E4E-4B0C-8FA3-14317255AED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01cb1a60e68a2209f28ed72ef25da771b7175c3f","datavalue":{"value":{"entity-type":"item","numeric-id":4436973,"id":"Q4436973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2840f7fe7229d161736cb8e3ca7f7ed78bcaabd","datavalue":{"value":{"amount":"+0.7109613418579102","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":"Q3370736$9F7D75F6-6AB0-474A-910B-351177CF2F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af847a187776bd4da2c0932513f18c2a0202c5b","datavalue":{"value":{"entity-type":"item","numeric-id":2892725,"id":"Q2892725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55cfd95e8a38d3fc64cc81f2b9f14325069aeed5","datavalue":{"value":{"amount":"+0.7096355557441711","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":"Q3370736$F28769D3-B5B1-49BF-A572-C12AC387B42A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A compositional trace logic for behavioural interface specifications","badges":[]}}}}}