{"entities":{"Q4036555":{"pageid":6066273,"ns":120,"title":"Item:Q4036555","lastrevid":108771761,"modified":"2026-11-10T05:36:00Z","type":"item","id":"Q4036555","labels":{"en":{"language":"en","value":"Safety for branching time semantics"}},"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"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0768a5b115272c21e70362271aa6764fc17d925","datavalue":{"value":{"text":"Safety for branching time semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4036555$D13821C0-50D9-46B9-B1DD-C884DF723567","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b915d6ed83be720aeb625f67066f036b54a5a996","datavalue":{"value":"10.1007/3-540-54233-7_126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036555$37D340D7-C041-4218-84F2-DAD03A9C9BF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036555$A46B0686-F8DD-46D1-B798-442971282303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de5a23818fe5976711a6ef2e14e0aeefe415bdb5","datavalue":{"value":{"entity-type":"item","numeric-id":548694,"id":"Q548694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036555$09AB3205-B529-4863-9659-B62CD8307CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c02480a6f2acb40a62f3c1a600bbd033e6ddfab","datavalue":{"value":{"entity-type":"item","numeric-id":453527,"id":"Q453527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036555$54A60D54-F297-4635-8FC2-19B0F5A82145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7bac316a5e8898926b76ffe22914e3997081398","datavalue":{"value":{"entity-type":"item","numeric-id":7422750,"id":"Q7422750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036555$0D3160BE-1AC7-45FD-BC7F-A689E6571316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c39075cf9ddfdc42864bc16125ea42ce8dd41ba","datavalue":{"value":{"entity-type":"item","numeric-id":243976,"id":"Q243976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036555$425F6A4C-851B-4601-A681-259DC5C8D784","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036555$CBD02F81-83B3-4A09-A780-70D2408C4EE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safety for branching time semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Safety_for_branching_time_semantics"}}}}}