{"entities":{"Q3341881":{"pageid":3352589,"ns":120,"title":"Item:Q3341881","lastrevid":48752152,"modified":"2026-01-05T19:04:19Z","type":"item","id":"Q3341881","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3876574"}},"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":"Q3341881$D2A0D85E-46BD-41F4-AE83-DC3943FC7A4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a323bc44ec2bcbbdd3bfed9c39d67c7378aeb105","datavalue":{"value":"0549.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341881$87692B77-8AEF-4784-9341-76CD2A43F406","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3341881$07EF7D1D-3A1F-463C-BAB4-FB3EB0CA632E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebafce9516d4c14b715c69adea30ca40313f766f","datavalue":{"value":{"entity-type":"item","numeric-id":930284,"id":"Q930284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3341881$9D4AE4B0-00D8-48E2-9558-0B638E775621","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3341881$9655BA6B-5E49-499F-9CD2-49ABC685BE08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341881$738B7DB0-3458-4031-B507-1F99DF363D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341881$5678C67A-BBCF-4E71-8422-CC23B25D7C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341881$35C96543-F235-4AF2-9551-B7CC8D884C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341881$7F3719F1-EA92-4E20-8BA7-6AAA1285EEFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3713a41acc80818af72f5479feb5936fc24ea42e","datavalue":{"value":"3876574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3341881$A4C818E7-18B2-40FD-B216-B15A3B136CF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341881$E9E896A1-95CA-4881-B248-93BF45FD0677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d8c0d98e5c66d33d8e4b4f2ae91fc309d9c297","datavalue":{"value":"process logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341881$BC1B6AA7-7ABF-4552-9E62-45B4DC679040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a71999cf8eeea516eab7eeaab5979e341bebab6","datavalue":{"value":"YAPL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341881$E82D0196-F427-459B-AA8C-D3285755812F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341881$69BC871A-C03D-4A82-AE5E-870F1F163F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eef9596756fec5010a7f36d43583be0bdeb246d","datavalue":{"value":"programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341881$2A1702D2-6C2E-4D86-A7F7-7283CB46B0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35954f217bf98264c7b74885311098aa54705ed3","datavalue":{"value":"path statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341881$9B7494C2-CBAA-4F38-AC1D-709DCC3C8E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b0fce99cfc0fad41b12fad52370d7608faab737","datavalue":{"value":"elementary decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3341881$B428F786-382E-4051-B921-1CE8C1371028","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":"Q3341881$450D3D9E-C415-494F-AC3F-AF20A1B6793E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a0585a2ccf8f27ae7c3728db85b83ebc046ddfb","datavalue":{"value":{"entity-type":"item","numeric-id":3323260,"id":"Q3323260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e127ad399e527cb9962ba31933201cbcdfea61a","datavalue":{"value":{"amount":"+0.8343197703361511","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":"Q3341881$847FF50B-D251-4A58-A029-0A3AD3174BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e550bec8b8621b93d4aafb697218b696c3e7df9d","datavalue":{"value":{"entity-type":"item","numeric-id":3686025,"id":"Q3686025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ba19abdb886d1563c04301d28b5e4f87cd1797","datavalue":{"value":{"amount":"+0.8334379196166992","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":"Q3341881$4F17CE58-BB0D-4B15-8713-56069CA14C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"180f3e4c8729f484d02d188ef73e34d5f035b45c","datavalue":{"value":{"entity-type":"item","numeric-id":4571972,"id":"Q4571972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"608bec2bce5c5626f36e28816ab3828067bed1f6","datavalue":{"value":{"amount":"+0.8197839260101318","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":"Q3341881$6D1E959C-ED54-4C8A-AAF8-3EA32C652609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2792ad03e9ffd28e470bd9e6226634c893b4fd75","datavalue":{"value":{"entity-type":"item","numeric-id":1295436,"id":"Q1295436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e7a0ba4047c97035533d5a9f2693f950dafeee","datavalue":{"value":{"amount":"+0.8061943650245667","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":"Q3341881$39B9F841-5C8B-4494-8AD8-6336CA9350E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb6c6c85303f2e7f31fbf0839d1c1e30b0adc71","datavalue":{"value":{"entity-type":"item","numeric-id":3322070,"id":"Q3322070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e7a0ba4047c97035533d5a9f2693f950dafeee","datavalue":{"value":{"amount":"+0.8061943650245667","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":"Q3341881$0162F680-2221-4934-8F19-EE4F43603950","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3341881","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3341881"}}}}}