{"entities":{"Q3336675":{"pageid":3347383,"ns":120,"title":"Item:Q3336675","lastrevid":48737863,"modified":"2026-01-05T18:14:34Z","type":"item","id":"Q3336675","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3870578"}},"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":"Q3336675$A2A73B98-5BA5-4F39-80F7-C2021A9A9753","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"678ed634dbf1e9540ba2b27d37343132093389de","datavalue":{"value":"0546.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336675$C787B392-A40F-4443-BA3A-0F2BBD78F4E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3336675$2EA9D182-4351-4C3E-92DD-C30B3BAA9401","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336675$F08672BD-D9BD-41EF-9574-FD5A4581242D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336675$5322EE47-351B-46F3-A66E-C5940F548EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336675$C586CD8C-AAF1-4F17-9D96-F8DA575D1585","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4e3b1a9619cade137ca8fcdb3294228d7702da5","datavalue":{"value":"3870578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336675$CC3336DD-D24C-4E5D-98E9-7E1B771C36C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336675$97430B66-EDDD-4D7A-909E-61DBD8978143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336675$81060CEA-2325-4133-B89D-3631046159C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336675$F0D7C170-8206-48F3-9F65-E8DEBF2D5500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6580a0d0417310566b2d2df2b3125149349d9c80","datavalue":{"value":"synchronisation skeleton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336675$B7CA2C6D-02D5-4B94-84F2-5E16F5DD8B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64d27c544b3367145c5d47cf02031644eae336dd","datavalue":{"value":"propositional branching time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336675$3B8FA034-5CD5-4831-B071-9B7C060ADBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b21820fc99414ab22a9a2a8497d9671983fd46a3","datavalue":{"value":"tableau- based decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336675$697E9D2B-BCD3-4D03-A0E0-CF6834172674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83798e1bbc00101714db436c991cc16b2064467d","datavalue":{"value":"finite model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336675$2CB7F8AB-E145-4A39-BEFA-BA26F4E364F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3336675$03FE32DC-F521-444B-89FC-D224E26DF5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3336675$4C9CC98E-2FF0-42B7-AE99-A509602FF7B2","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":"Q3336675$9197DE37-1EE5-4AE0-9553-3E96FD027F70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2df2253f063b5af98040868d5c383a6e36901e1e","datavalue":{"value":{"entity-type":"item","numeric-id":3512441,"id":"Q3512441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e4e5cd59ba9360625fd99ae695336ba2f13988","datavalue":{"value":{"amount":"+0.9350745677947998","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":"Q3336675$4E498D7D-05D5-4BC9-B139-38A2D7BC0A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de074d40e4401f2826565ec8e620c2688c45ae30","datavalue":{"value":{"entity-type":"item","numeric-id":3795200,"id":"Q3795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86549dd108e6fd5902333888a89baaded3bc1f5a","datavalue":{"value":{"amount":"+0.8024868965148926","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":"Q3336675$EADA236A-381D-4DEB-ADE8-DD00AA085EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"383d0d83dfc88582286bdb6b7ba6bdb27b57104b","datavalue":{"value":{"entity-type":"item","numeric-id":1116944,"id":"Q1116944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc964697779ad4f78b5e1b86a8da789fb447005d","datavalue":{"value":{"amount":"+0.7977246642112732","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":"Q3336675$1AC7C243-629E-4093-8003-4301B6706BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c00d46925730f34ff106c05dba1d02271431f3cb","datavalue":{"value":{"entity-type":"item","numeric-id":5395079,"id":"Q5395079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eaad321a91a02a4ba525e7151c23a5fe2d5b84b","datavalue":{"value":{"amount":"+0.7802629470825195","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":"Q3336675$E3E152E3-50DB-415E-BCB1-6C3753B5FB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c41d1f0a228751d21b3123ecec0dde5fbf8a408","datavalue":{"value":{"entity-type":"item","numeric-id":5897405,"id":"Q5897405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4edd511f63b7470ce5f127d38855222500fc88","datavalue":{"value":{"amount":"+0.7775803208351135","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":"Q3336675$38406B14-3241-4A26-97D3-2A918556A986","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3336675","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3336675"}}}}}