{"entities":{"Q4782022":{"pageid":6811602,"ns":120,"title":"Item:Q4782022","lastrevid":74611980,"modified":"2026-04-14T23:35:43Z","type":"item","id":"Q4782022","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1836353"}},"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":"Q4782022$4396C662-6821-412A-965F-CA5A79A20CB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4b46f2f908f49dcc1a2113ded1932e560a7b148","datavalue":{"value":"1009.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4782022$A8A1ECE8-088B-47AA-93FF-0F68E74ADA4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12d2defd50916b97ca1549377618bc805a4e9be","datavalue":{"value":{"entity-type":"item","numeric-id":476193,"id":"Q476193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4782022$7690D7BD-0DEC-4A90-B9B1-70622111F1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"757bae5b07e6aa09beae0ab8d19b245da3ff0837","datavalue":{"value":{"entity-type":"item","numeric-id":378901,"id":"Q378901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4782022$C55E2B8A-66D6-4067-9546-BC4B5E3B6094","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"118b3751f605fa751b1a0cee7b9b610d6c3317e5","datavalue":{"value":{"time":"+2002-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4782022$F4978009-5C22-422B-B9E0-DF32C02ADF03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4782022$F8C264F9-BA6C-4381-9204-67EC509A2996","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf09da91fa037fcf2f00c74648400c68dd41044e","datavalue":{"value":"1836353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4782022$33046EA4-32DF-4154-A8F4-2BDC68217DB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9a23356981bc5348c56cb90982feb0d0a5a5bec","datavalue":{"value":"intensional transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4782022$2F8D08C8-1CD2-4827-AE5F-032E7B7EE23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2d1eb7ec59365e84402092880a567dacb3225b9","datavalue":{"value":"symbolic bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4782022$E26DD5B8-9476-4F9F-9E1B-B150B8DEAFF2","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":"Q4782022$7C4AEDAD-CCE0-46F9-BE3B-7835F3CB6838","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407a371c660de79fac203fe7a19d17758818a5b9","datavalue":{"value":{"entity-type":"item","numeric-id":3297583,"id":"Q3297583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e690b6eb380f958c33a2034effa5bda38b428304","datavalue":{"value":{"amount":"+0.7799665331840515","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":"Q4782022$37627C6D-F194-4E33-AF50-E3B979B5F455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbdf8d731bfc8142cf816f01d47910453689ce36","datavalue":{"value":{"entity-type":"item","numeric-id":2457201,"id":"Q2457201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f7ed17770f4887b142aa6f075b2d1ea80a1352","datavalue":{"value":{"amount":"+0.7582629919052124","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":"Q4782022$A9C0F8D4-B275-44A4-80BD-39E10951A09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc119275a7e523d17ada87e54f2323e48840f84","datavalue":{"value":{"entity-type":"item","numeric-id":2445332,"id":"Q2445332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a149bd6e1d1138cac58357cac9a5e362787ca959","datavalue":{"value":{"amount":"+0.7556607127189636","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":"Q4782022$4FF52D73-9DCC-4227-BB7B-6E9A17D728FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11f0772c1208fd7ddf51ce4038b8f781a7ad79f","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"893c01c9d3afe0be983385cc44cfcb29851ecab6","datavalue":{"value":{"amount":"+0.7547271251678467","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":"Q4782022$BC121067-7BE3-4CC3-8177-EE64D922B1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44bd7aa7a5d5233a507b672bda57c22c035f24e2","datavalue":{"value":{"entity-type":"item","numeric-id":702842,"id":"Q702842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7380c1f18a234600a7f3beb9107728a73d86a0ba","datavalue":{"value":{"amount":"+0.7522560358047485","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":"Q4782022$A65A9740-50D7-459E-BE70-AD9002810868","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1836353","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1836353"}}}}}