{"entities":{"Q4028163":{"pageid":6057917,"ns":120,"title":"Item:Q4028163","lastrevid":55216456,"modified":"2026-02-04T22:27:17Z","type":"item","id":"Q4028163","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 139828"}},"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":"Q4028163$87927D6C-D41A-44E4-84E4-B2E6F90BFCD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b53dac2b4a97014c1fe51f8b19df9d0af671311b","datavalue":{"value":"0794.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028163$1BBD15D9-378A-4A7D-8A63-3C0CBD6FB810","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"311cbd86c929336c0b6cd5341a65d6f78f4078e7","datavalue":{"value":{"entity-type":"item","numeric-id":4028162,"id":"Q4028162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028163$29079BF0-0421-4D16-B8EE-5B7204726B35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e126f0a627a644e456ce20a058877c46ad749c68","datavalue":{"value":{"time":"+1993-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4028163$458FEA31-868F-4961-8A29-E8A442230575","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028163$1C42A0A3-1C25-4EA5-9206-EFCD20568122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028163$2634B28B-5A7B-4C14-BA97-771E212A6B10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c9ad5614afed60756eac8cfc97eeeea73ae8938","datavalue":{"value":"139828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028163$9ACE2941-46DF-4795-8B61-5B08572DD64A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f0a0d846f96d0ad21fc394acb3c1906b48ab4b","datavalue":{"value":"propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028163$9052FAE4-01AE-432A-A305-FB6BDB27AB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"106defd592d9e1652cf9d8ad5222b9199479a550","datavalue":{"value":"syntax directed mapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028163$9A9D48A3-AB64-4722-9568-28C928F9439D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32d8658ac7e623fa6b36d4a5e4ccef0472ac0664","datavalue":{"value":"M\u00fcller automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028163$2147FD0B-9C41-410D-9123-06FC3A5AAC40","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":"Q4028163$4A74C329-5343-43B7-9DF2-93C637A02168","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b9bb997a6eebba553b2cf0f33d0315273f3a7ea","datavalue":{"value":{"entity-type":"item","numeric-id":4547769,"id":"Q4547769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc565316bd5d6a14ebd4c5000cc91e5bfe487939","datavalue":{"value":{"amount":"+0.8060338497161865","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":"Q4028163$E9FF8C39-5EB3-4986-A65E-78259CFCECD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5351f76613009586d8c261899586b94ca721cf9d","datavalue":{"value":{"entity-type":"item","numeric-id":3511242,"id":"Q3511242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f7c4da771f8d2add0c6b4b5c6756ea4718f2d3","datavalue":{"value":{"amount":"+0.798735499382019","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":"Q4028163$7A59234A-E9BE-44F0-8A06-A59CECED81C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"243a61169595355e418736f096741a43e3b14394","datavalue":{"value":{"entity-type":"item","numeric-id":3752371,"id":"Q3752371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13875db968aae71e0656b96bec503fa00d0484d2","datavalue":{"value":{"amount":"+0.7887594103813171","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":"Q4028163$858F3D42-AEE9-4461-BD7B-393C85DDE814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc46a3873de73c896dad3f48b557df241d2d816","datavalue":{"value":{"entity-type":"item","numeric-id":5452723,"id":"Q5452723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd3efbf6cd65d6265d1580fdaab8fedd0ddb15fc","datavalue":{"value":{"amount":"+0.7857663035392761","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":"Q4028163$46903112-A78A-4534-8857-C5C31C707D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65010c6a3bcbd3df2ba95563e36d840ed8079a31","datavalue":{"value":{"entity-type":"item","numeric-id":4032313,"id":"Q4032313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee88fdb4123684f0db6f22112bd2319c791963f2","datavalue":{"value":{"amount":"+0.7790915369987488","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":"Q4028163$0D422F64-70F9-4198-95B3-A2F8632DF5E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4028163","badges":[]}}}}}