{"entities":{"Q4823428":{"pageid":6853008,"ns":120,"title":"Item:Q4823428","lastrevid":74961285,"modified":"2026-04-15T01:27:12Z","type":"item","id":"Q4823428","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2111990"}},"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":"Q4823428$A0555465-134C-4398-82B8-3957B69969EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1af7c3be6e7f879a399e6ebbc806169ccaf9cf0","datavalue":{"value":"1083.68576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823428$379734E6-BC8F-4ED6-AD19-F0C601C2C478","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36308e32b5a03059e4bfa8be66993d163941fc86","datavalue":{"value":{"entity-type":"item","numeric-id":2409735,"id":"Q2409735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823428$10326CFE-5849-4901-8C22-BB14BBEC4AB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"537531571b4f861519c1304a6e93493bd9f1a450","datavalue":{"value":{"time":"+2004-10-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":"Q4823428$5EB7E769-8D4D-464C-90DE-A06F436D9684","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c1b3459fb82d1e5b021820bbfadee569b58e6c9","datavalue":{"value":"http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=17&issue=2&spage=93","type":"string"},"datatype":"url"},"type":"statement","id":"Q4823428$333951CD-6886-4845-AF14-65CBA1F27C1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823428$F757C364-6824-4DB0-A101-1AA5F76D5BEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"138a91f9a2944b6641205f1429578452126a4028","datavalue":{"value":"2111990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823428$F5DEB66D-8ECC-4F9E-95A5-491862A51CD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9cb15427980034ab816939f2a2a47a84b35e4b1","datavalue":{"value":"timed concurrent constraint languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823428$FC16925D-CD3D-4C32-95F4-0B3B9D61E0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823428$DEC92921-029E-4486-B9FB-E8B8F05470FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823428$3C025A4E-5959-4C27-8375-00B17C3AF78B","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":"Q4823428$537ABEF5-A746-4C54-ABA9-F01267B24BCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65c44c0e0c64b6fa8fe94ec4f8dc5662b949c20","datavalue":{"value":{"entity-type":"item","numeric-id":5476390,"id":"Q5476390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"241a103fa572440746ed483efcbd01c46b4e2e54","datavalue":{"value":{"amount":"+0.827379047870636","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":"Q4823428$D1CDA418-805E-447F-9039-BD51966A6048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7be2bde040378e076aac99d561c037ba8335e8b","datavalue":{"value":{"entity-type":"item","numeric-id":4923526,"id":"Q4923526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"511dedc1d76284c15e72712e9cc16a2e91f5e0fb","datavalue":{"value":{"amount":"+0.8240827322006226","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":"Q4823428$65C45BC5-CEA7-4A45-8C66-5A85669A6767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4d3b273737663af00bb08fa4dae91aa53e4c475","datavalue":{"value":{"entity-type":"item","numeric-id":2576949,"id":"Q2576949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"801e27ad72cf9f52acea8b7a56fea1a2f9678fd4","datavalue":{"value":{"amount":"+0.8182373046875","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":"Q4823428$A76F1B34-A5F0-471D-95F2-FC9C396B63F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcbf4e50914cbb565f82d58cdb307a543f119e26","datavalue":{"value":{"entity-type":"item","numeric-id":2849844,"id":"Q2849844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fca2dc943371d00e19ad9e06d532b0524b158ae","datavalue":{"value":{"amount":"+0.8056807518005371","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":"Q4823428$3D8E307D-682F-4534-91B5-2D69353C12FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5c8e4054e1eb521c9b8f86a660184b09b03fafb","datavalue":{"value":{"entity-type":"item","numeric-id":530859,"id":"Q530859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2440ec46329d8fe795f30dabfcc96fa68743d21","datavalue":{"value":{"amount":"+0.7906517386436462","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":"Q4823428$9ED24A1D-714E-4E0C-87A3-F2EEB09FB38C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2111990","badges":[]}}}}}