{"entities":{"Q4501666":{"pageid":6531259,"ns":120,"title":"Item:Q4501666","lastrevid":47015718,"modified":"2025-12-26T01:30:09Z","type":"item","id":"Q4501666","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1500644"}},"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":"Q4501666$88DC8CA2-D65F-4090-BE42-6A8C1E4A08B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"716df73129792f335490b80b3cdbf85afffc81ea","datavalue":{"value":"0952.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501666$FEFB73C3-E87D-436E-B373-05ED2FFAD133","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26eaa7a3159ba545420366ef8b151ea4c3766e0","datavalue":{"value":{"entity-type":"item","numeric-id":208756,"id":"Q208756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501666$711245BD-E78B-4B10-B825-29E5E7E85671","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"808321b5dbf4c939be439eeccdeece7a1f77a12f","datavalue":{"value":{"time":"+2000-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4501666$BF080411-8018-47CC-9705-F16397A472E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501666$9121B4FF-32A2-4893-B9A2-76BCEFEC2BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501666$52C2B595-84F7-48BF-91A6-0BEA50465E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501666$D4CB7000-807D-4DCA-953A-BE43B0010924","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"087f10bd8cdedc2adee1e32f589d4b344b99e376","datavalue":{"value":"1500644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501666$A86688D0-BE24-45CE-B60B-9BAA6FA6254B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a6bcf0caf1968ebb1c2382c98e2f54922a8df81","datavalue":{"value":"lengths of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501666$87FE3FC1-A32D-4A11-9E5E-4716D28FF2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501666$9E04D33E-1F26-4E6F-9036-D26A318662EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c640934be6aa44a45ab05e2591104a77cd814802","datavalue":{"value":"succinctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501666$13DF8719-ABAF-46CB-AF8D-D0BA4D37FF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501666$320464FF-94FF-4053-9758-47AE392294B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501666$B7242B63-7183-4E5A-B926-EF11519335EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0773333d2ac707b8c1d518acc9c138d23634bfce","datavalue":{"value":"alternating tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501666$35DF3B28-F4B4-4032-96E8-2CA65EA073BC","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":"Q4501666$37D43222-10AE-4C5B-B797-D9AA17E45C95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651494001479bcf1b3abfde04d3d8ef9227883b9","datavalue":{"value":{"entity-type":"item","numeric-id":975478,"id":"Q975478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55357811f16507565df1bf826f9d830b4aa095b5","datavalue":{"value":{"amount":"+0.8441372513771057","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":"Q4501666$72E661DE-F40E-4EBD-B7D2-BD42480E0977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f82ceaa8259c6aacc4676c7a51203d3d3dc7b7","datavalue":{"value":{"entity-type":"item","numeric-id":4449218,"id":"Q4449218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92952f7b9dde3f8d96248d20440b41a17a546b53","datavalue":{"value":{"amount":"+0.8117057085037231","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":"Q4501666$5462EA75-6A56-4740-B329-810D38EC4E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac335921b5889e19538bd6eb29d0f3958725be1","datavalue":{"value":{"entity-type":"item","numeric-id":3182944,"id":"Q3182944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7270267101190b0196843e3eb187fd5fb20b9f2f","datavalue":{"value":{"amount":"+0.7738394141197205","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":"Q4501666$5B147DD5-39D8-48C0-87A0-ED903C149072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0097733e53f34c91e9979595d256b692a2dea2","datavalue":{"value":{"entity-type":"item","numeric-id":1325848,"id":"Q1325848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50398c8c2f8077ccbc9357471c69fc0c45cb2b0e","datavalue":{"value":{"amount":"+0.7707847356796265","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":"Q4501666$8CAB961D-8317-466A-816D-38E22BB439B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc77cb8e08ecdea57ac4a7c0e2f660f8be26e9d2","datavalue":{"value":{"entity-type":"item","numeric-id":5267432,"id":"Q5267432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c7fae4576eff7f511e98063db9dd37474d1517","datavalue":{"value":{"amount":"+0.7697291970252991","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":"Q4501666$AD740ACF-B8A0-46CC-9EBF-BE47C7D6252F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4501666","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4501666"}}}}}