{"entities":{"Q4037383":{"pageid":6067101,"ns":120,"title":"Item:Q4037383","lastrevid":55250068,"modified":"2026-02-05T07:58:37Z","type":"item","id":"Q4037383","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177514"}},"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":"Q4037383$D95A5B4F-D7E6-414D-84C0-542E6FD0C8A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0918d63adf013b66e5a6ad4e857996d81f376cc4","datavalue":{"value":"0765.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037383$9155D17F-2CC3-498B-808F-31B6643B992B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c02480a6f2acb40a62f3c1a600bbd033e6ddfab","datavalue":{"value":{"entity-type":"item","numeric-id":453527,"id":"Q453527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037383$B6BE95DA-FDBB-4584-B931-0FB0458385AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e6cd5c3fc48ca92bfea6446c21e98e5e0e73364","datavalue":{"value":{"entity-type":"item","numeric-id":478387,"id":"Q478387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037383$B8C54558-E87E-4648-BB4D-C9281B9F4567","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4037383$12F1355E-8F2E-4B2B-A50F-C110B1FB510B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037383$725E9F82-B3A9-4EA4-815D-51E62A91A964","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e6a5ed882b7fe44a455c1216d4ef6361d4301e0","datavalue":{"value":"177514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037383$E015EA31-EB48-4FD9-8E14-E162432B4F30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1b7b015e8c924e5c8d7cb644d67c33d3356b998","datavalue":{"value":"verification of finite state concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037383$1B88E638-E491-4328-A9FE-405B901272B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e21d1576dac56af6656af3fc6339a79d09807b72","datavalue":{"value":"interface specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037383$BA975A3E-5652-454C-A7EF-A28F492209C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa77a4cc999709fb3eba9987a004a41312c4dfc1","datavalue":{"value":"minimal transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037383$31D99F69-A207-460A-8222-D9C6C1FA8359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037383$998939A7-D11C-4353-860F-54645AE8134B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28962c773ed56dc9d49f62eb7621becf63a08850","datavalue":{"value":"reduction operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037383$A002BC34-6624-4BA6-B9BA-FFA6D218C3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ba246838e4a16c31287e4c47c0bea43935b753d","datavalue":{"value":"undefinedness predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037383$6063F507-0203-4239-B1CB-BABEF7E6CA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53a11aebc9359222ae3f568971a95ceb23efe484","datavalue":{"value":"preorder relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037383$80281E52-C321-4B1C-BBD1-A18C45D5483C","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":"Q4037383$5C890910-2E69-4EEF-9B7D-C408C745B06C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07e54b7559e39c6fecdd643eda03da86fd914c8e","datavalue":{"value":{"entity-type":"item","numeric-id":4037089,"id":"Q4037089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4440cea89daceedfc28609963b89ae90de3327ec","datavalue":{"value":{"amount":"+0.9999525547027588","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":"Q4037383$46D7771B-B4FA-497C-A5E8-8FF8D1DB94A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05350c9051066da442c0791f750ac0e3fcc51cd2","datavalue":{"value":{"entity-type":"item","numeric-id":3146284,"id":"Q3146284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4440cea89daceedfc28609963b89ae90de3327ec","datavalue":{"value":{"amount":"+0.9999525547027588","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":"Q4037383$1E5D5097-7288-4806-9535-A33CD5F8B375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12510ac07d18be5485fb4620fd272d23b705a002","datavalue":{"value":{"entity-type":"item","numeric-id":1816922,"id":"Q1816922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b17fba0f87eec8b8f191be1b073e5852653300c8","datavalue":{"value":{"amount":"+0.8929395079612732","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":"Q4037383$BCC84B29-076F-4CAA-9545-4072945FE957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6325d6f0bd53bae287c3ea54a946cddba9da74f","datavalue":{"value":{"entity-type":"item","numeric-id":1182610,"id":"Q1182610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1929a7be5e95d739b4bd8ec989175fbf7a2f172","datavalue":{"value":{"amount":"+0.7774779200553894","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":"Q4037383$DA7C94C2-4B23-4B1E-8F55-640318BACC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"116df4bb137fdced23d2ae1e60a9e853dce1c64d","datavalue":{"value":{"entity-type":"item","numeric-id":5757250,"id":"Q5757250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1929a7be5e95d739b4bd8ec989175fbf7a2f172","datavalue":{"value":{"amount":"+0.7774779200553894","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":"Q4037383$1585A883-10CE-42BC-9139-CC10DFE16A63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037383","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037383"}}}}}