{"entities":{"Q4036555":{"pageid":6066273,"ns":120,"title":"Item:Q4036555","lastrevid":55240843,"modified":"2026-02-05T05:29:40Z","type":"item","id":"Q4036555","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176726"}},"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":"Q4036555$4C7304A8-B77A-48F3-B9A8-7FC85E7F4DFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6b8501c16ef106c3c06861c907896408c2ee1a2","datavalue":{"value":"0769.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036555$EBDA5C75-B012-4869-869F-B99A57A2EF5B","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":"Q4036555$F93C340F-324C-46C2-9F4D-8E642A78F38A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036555$D7183D87-C094-4AA9-8326-C1B2E2629FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036555$A78FAA3E-B8A3-454D-95E6-B916CBE02EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036555$98CE397E-ABBE-4701-A0EA-16A43D6F0AFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae4124e32a0f9667d99f17b8abe99b1536362a1a","datavalue":{"value":"176726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036555$17B12E1A-4CD5-4A32-A09A-082B56CE6B58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036555$F67187C9-C0B2-4AC1-8346-2AEC2A08B6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1478f0080b70574ea441c7d2a3b6db779c2f9c","datavalue":{"value":"program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036555$32E74539-4D20-4483-9323-6EC319F1A47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2229546eb74cd46ac12d5b2025e1260c8e57bc51","datavalue":{"value":"safety preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036555$B3DE7BC0-9FF0-407F-9EF9-A99D04F5063E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b682dd00ffc7812b1fba1c9e585201b63e6b9f94","datavalue":{"value":"branching time semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036555$71713D35-3A26-4860-BF49-7E2905484A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21e30ba7b844cdef381cc6198150164526e47f8a","datavalue":{"value":"infinite computation trees modulo bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036555$E2951C9D-478F-4B34-ABE2-E35876597711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"183f0c684b467b5ecbafdd2e30efa97990d7c940","datavalue":{"value":"silent actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036555$5CA487D6-559F-4844-BB07-6D5CF180E294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5da5e6e740d0518427b5c4cf9be2ff8b044cb627","datavalue":{"value":"tree- automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036555$7E9F9599-E1B0-46AE-A066-964C0AC17894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22faee7a58a8049518b23c537e4b85ea66f3563a","datavalue":{"value":"branching time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036555$574A279A-6215-4CBA-9101-F0CE186563F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dfc6c0bfc923fef963516240356ede01a387e8b","datavalue":{"value":"simulation testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036555$CB6F7C0D-7F03-4D7D-AAFD-6B632289D352","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":"Q4036555$95E32AF2-272C-4AEA-8C45-031EC96E9917","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c9ef6e43b2ed5f3e86cbf9d49a047d09cd8abd","datavalue":{"value":{"entity-type":"item","numeric-id":2943770,"id":"Q2943770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee3845203221a25abbef401aa8814feea62426d3","datavalue":{"value":{"amount":"+0.7842603921890259","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":"Q4036555$F51BB1D2-54D6-4F05-9839-5066445855D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec27621b1688c7b214ee761896d0d51e26ae476","datavalue":{"value":{"entity-type":"item","numeric-id":2995468,"id":"Q2995468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d08a5c43fbf89b996162efcf42c76d9d1c015bf","datavalue":{"value":{"amount":"+0.7594274282455444","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":"Q4036555$67E0529F-2D07-4A8C-8CD6-AB3F444EBC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2aea13c570e05069715b97248394dcbad6b14d7","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a47d1cbff313bc7119a03193f653b6235549a65","datavalue":{"value":{"amount":"+0.7507953643798828","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":"Q4036555$68726775-373A-47C7-9426-159C8C84933D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2567372ccab0053b8ac04a6c83539f1eb0df533f","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c79740646a9cd39776b1d9f840338a5b0c5558b","datavalue":{"value":{"amount":"+0.7492928504943848","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":"Q4036555$5915F2AB-3430-4D06-9FE8-B60AAB51F3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7125fe52ce73741ab1ae06610aa9d74b8be9378a","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d9093f60bfe493f36bbae238b9d13f926e6b2f6","datavalue":{"value":{"amount":"+0.7393556237220764","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":"Q4036555$70ED2C24-B7F3-4A52-8CE8-B61C54B27E24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4036555","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4036555"}}}}}