{"entities":{"Q4673429":{"pageid":6703010,"ns":120,"title":"Item:Q4673429","lastrevid":48473752,"modified":"2026-01-04T22:39:34Z","type":"item","id":"Q4673429","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2163042"}},"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":"Q4673429$445C5682-F1AF-496B-9105-7236716D8C9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"933e3edcf3b276a6e42a9d57d958979e9740408c","datavalue":{"value":"1088.68663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673429$72EED89A-5B2B-4D89-9F24-634ABAED857C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cfdd76c6ace7e0d57b8524faf2ffe47b441fd852","datavalue":{"value":{"time":"+2005-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4673429$9BBD19DE-2632-4D4A-A56A-4F98EAA19634","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673429$5BB7ACAC-BB2A-4FFA-858C-9EAAA506DA04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5b6fb6ec9956679f970e0e7e021a28813bf344d","datavalue":{"value":"2163042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673429$182B94D6-E0DD-481E-BFF9-E99A72928F0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5f64810e95bc81e9e77b2ce3be89c40cbb59059","datavalue":{"value":"weak bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673429$C5463633-F71E-452C-BA3E-66DE72BC1ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673429$12DFCC3A-2035-4799-8487-8D1DB0EFB763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad14e5be01deda2048f7ddb74550c6c2121c1fff","datavalue":{"value":"trace preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673429$A58ED0A5-53E0-4091-88E2-2CB652DEF525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ae9c5dafce305edbaa925de066ad4e26b190efa","datavalue":{"value":"high undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673429$1CF74EC4-3CFC-429A-B35E-D49C8C4C0CC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b34490b42e542c961f98f9ba6d799768378b70","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4673429$DACC0234-6684-4695-B9E8-CAD4A004B680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115241a544f99ad7a30e923fe7cd2e43b86b4105","datavalue":{"value":{"entity-type":"item","numeric-id":444489,"id":"Q444489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4673429$C97BE79F-E5C3-433E-AD92-19D7F74EB002","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":"Q4673429$F1E5CAA1-ECE7-4FA3-8093-1DA949626BF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925328eeccdf6a722f8e5b1aeae6f047dfdaaeb5","datavalue":{"value":{"entity-type":"item","numeric-id":4412112,"id":"Q4412112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a368f79acea2ffa837a2ec81e30f2866e34a39","datavalue":{"value":{"amount":"+0.8616043329238892","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":"Q4673429$7D27ABF1-962B-4222-90D0-0A939B40801F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4559320be0bbb95a78d3edcc195fc1070e26c8d","datavalue":{"value":{"entity-type":"item","numeric-id":2847411,"id":"Q2847411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f66ae47afc72396c983199ad1bcab3326d36ddc","datavalue":{"value":{"amount":"+0.8503715395927429","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":"Q4673429$5800C30C-9C3E-4F09-ADE4-2E5BC2B44BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dff55a737df6c82e9466a23bd42a62ee671b99d","datavalue":{"value":{"entity-type":"item","numeric-id":4484512,"id":"Q4484512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f74a97ab72db5863f5377bcea9c797595ca1cd7","datavalue":{"value":{"amount":"+0.828079104423523","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":"Q4673429$FAAE1061-1901-4F3D-896F-5A58AE0F57CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d89aff16db31ec39cbaa3761ad188aa6303723a","datavalue":{"value":{"entity-type":"item","numeric-id":1342523,"id":"Q1342523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2361e8288271bf08992398e30b71f1044a36823","datavalue":{"value":{"amount":"+0.82303386926651","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":"Q4673429$61A70E4E-D224-436D-957C-38FB81B4885A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cd5b13b83370af74aa1770812c3de8a098752ca","datavalue":{"value":{"entity-type":"item","numeric-id":2852014,"id":"Q2852014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77427398ee309d9df9230f689e2346a8ebb8e493","datavalue":{"value":{"amount":"+0.8181669116020203","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":"Q4673429$A7DB62C8-7216-49B0-8A85-D8645EE203F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4673429","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4673429"}}}}}