{"entities":{"Q4037118":{"pageid":6066836,"ns":120,"title":"Item:Q4037118","lastrevid":55246612,"modified":"2026-02-05T06:59:35Z","type":"item","id":"Q4037118","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177261"}},"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":"Q4037118$50CE1591-2B34-44D3-83CF-EB5A8D541B8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa221e6a3a29918b4ca82595c3ab69b856cbd0b3","datavalue":{"value":"0786.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037118$49969C51-7923-4280-B29F-AFE98F924034","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f68f16bc588a14cf8a1841c177a5c562620a294","datavalue":{"value":{"entity-type":"item","numeric-id":234678,"id":"Q234678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037118$A05D5774-4BA6-4640-AC13-59672B64DDCF","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":"Q4037118$59A4B4A6-4C33-4EFE-97C9-F6CCB88D3D7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037118$1E8F6CAC-195F-4095-A81F-3CBE60863BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037118$5FFB4AD9-3F85-41E0-AEAF-694AC348C578","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"505b4ab534572877ca31f161cf7a2e7abb4cf5da","datavalue":{"value":"177261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037118$F4300A73-7176-42F6-96ED-7B31E8EFCA4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037118$077A45CD-22C8-4576-96A4-FEDEBB89850E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037118$DE022606-ED88-48E3-8D9E-F6A1DA65CB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23d55b89cff55fa39670dfcbe2df3a1918aa11b9","datavalue":{"value":"bisimulation-inequivalent finite- state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037118$71DB097B-A0A5-4E12-B81B-B9BA160A39BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"debc0a8748c398e36cdd79032b12da88813adf89","datavalue":{"value":"partition-refinement algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037118$7FA3CFC5-62FA-48B5-B998-E5CD8B865F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037118$B444F967-6746-4759-AE1D-1FD4AB46A6F9","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":"Q4037118$38176696-FECC-4061-A133-52430009CECE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f43ad5f9ab89ce260c3da6209e9f27e4c5ec3e5","datavalue":{"value":{"entity-type":"item","numeric-id":4037401,"id":"Q4037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff52252ed8226cfa837aa059a2e52961d55d1bc3","datavalue":{"value":{"amount":"+0.904899001121521","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":"Q4037118$34967D94-A1FE-4F1E-8FA1-98A76027FB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61b14c2a787b39d2ecc18c53b874fdd83c5e6e5d","datavalue":{"value":{"entity-type":"item","numeric-id":1194327,"id":"Q1194327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"913de79c37c153e3c86bc63514989be101ae8cb3","datavalue":{"value":{"amount":"+0.9048986434936525","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":"Q4037118$82F51DB0-5E7A-4A6A-B674-3D7876839D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d48f520fbf8364263093c588137a60c57412aa","datavalue":{"value":{"entity-type":"item","numeric-id":2044187,"id":"Q2044187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7778c81da0f65a0271ec0348afb70a4097a06a62","datavalue":{"value":{"amount":"+0.7513301372528076","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":"Q4037118$E7C067CA-70FB-4AF5-934F-CF275DDFD5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c752fc7fee9cf5deb866cc3cdeae53abc036d0f","datavalue":{"value":{"entity-type":"item","numeric-id":4223069,"id":"Q4223069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde4f39592cd93a120612cea301f56f20d492f72","datavalue":{"value":{"amount":"+0.7333458662033081","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":"Q4037118$23E090CB-D58B-4982-82D9-6AD8D3BB6A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b8a6b897758cb1d7590c5b95e6e72b5fa98a4ed","datavalue":{"value":{"entity-type":"item","numeric-id":2182678,"id":"Q2182678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86628f32409d68c4a0c8ea2561e86709dc0f4172","datavalue":{"value":{"amount":"+0.7286550998687744","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":"Q4037118$C37B4224-286F-46A1-A701-BBD93C1353BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037118","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037118"}}}}}