{"entities":{"Q549668":{"pageid":551435,"ns":120,"title":"Item:Q549668","lastrevid":51292763,"modified":"2026-01-17T15:31:58Z","type":"item","id":"Q549668","labels":{"en":{"language":"en","value":"Unprovability of the logical characterization of bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5925500"}},"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":"Q549668$8DF07B6F-F77E-466A-AF2A-E26DA304C1D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46170d8c40057b1ed10d69ed832f7d1a397faf96","datavalue":{"value":{"text":"Unprovability of the logical characterization of bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549668$8B0EFE9B-ED20-40E1-8B6A-EAD102BD62E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4af9272a57c80d731f364b03bab16009db33d350","datavalue":{"value":"1216.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549668$A2575CAD-DE6B-4BD4-B1D7-43BD6CEB7490","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94fed2ec79d6708f1f566072f11e83579901c053","datavalue":{"value":{"entity-type":"item","numeric-id":549667,"id":"Q549667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549668$64AB2C66-8F68-449D-9617-5DB3E8B52D30","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549668$A7CCA91C-D3A1-4F93-85FA-0236027230FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3dd288f91e249ba649089623a2b7d89908afe78c","datavalue":{"value":{"time":"+2011-07-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":"Q549668$F023E711-B054-453D-B572-D72B24739264","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549668$A1803558-B263-423C-8176-6CF32290F4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"314e54fbb18d33f780194e79b8f7d977d400cb90","datavalue":{"value":"60J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549668$9A755138-A3E4-421C-BD1C-98613FB7B7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549668$36834305-3D35-4315-A4EB-4C7F1AC82886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549668$09B5D6EA-5D6A-43B1-ADD0-DBD8A07DB94F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2df75b56c8dee83b944b7cdaa208e586578e1fb","datavalue":{"value":"5925500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549668$C886E4AD-CB39-4074-A65D-2EAE2B132E1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a404789d9a3e350ff0fdd2242ed1021ae4a85bf","datavalue":{"value":"labelled Markov process","type":"string"},"datatype":"string"},"type":"statement","id":"Q549668$05B91749-005B-452F-8F82-9047819248F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f032851bc2a49f8cea3c8d35cfbd974bdde5ef1","datavalue":{"value":"probabilistic bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q549668$A280FCC0-1B63-4344-A907-1D43E6A49A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q549668$2BEABC6D-37A0-4621-9414-C7FC376A09B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54dc05f3ed061fe375d18eacaf0b281bed154ff5","datavalue":{"value":"nonmeasurable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q549668$460C0A6D-ACB2-4463-9129-929BF863C32F","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":"Q549668$0F71A511-93CF-4713-B644-40F83D2B41E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c8d979ee009087d09a3a811c0c9c53e60cfc2dc","datavalue":{"value":"https://doi.org/10.1016/j.ic.2011.02.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q549668$39F2DB3D-0647-4A05-9987-599811E26176","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa01fa6af0af8c0cfb1b8e4911c8e1492068dee9","datavalue":{"value":"W2061760083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549668$C4D35BB4-A522-4057-A76F-0AE5FA283BEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"075eea85824ba3af48311be2f930bf6cc95e4efb","datavalue":{"value":{"entity-type":"item","numeric-id":5563135,"id":"Q5563135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549668$18D5F1C8-2E54-428D-A28F-8D7613C26C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aacb971a9ba51fec57dbb3d5aa315d494051ee8","datavalue":{"value":{"entity-type":"item","numeric-id":2495642,"id":"Q2495642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549668$2AE48663-9908-4155-B882-C3A97602B83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549668$9BECB477-C9BA-438B-A4CB-920BE7F1E0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b53710a99f5a3080f6a602b100ba66d0a10e73bf","datavalue":{"value":{"entity-type":"item","numeric-id":4449236,"id":"Q4449236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549668$9BC13FB7-95ED-475A-B98C-4D26D0849FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8e030d03f9ef4bcea642ecbac1a0ae87f95369","datavalue":{"value":{"entity-type":"item","numeric-id":995624,"id":"Q995624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549668$8482733D-6106-4188-AE20-0126939DEF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d356553601748d14ae6c2664dfe92fff0aeaeeef","datavalue":{"value":{"entity-type":"item","numeric-id":3996911,"id":"Q3996911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549668$C6FF1A2C-BE57-4F27-B129-F604E263E3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5045740bd57765d3dbc2538788e02ec3e8dc04a","datavalue":{"value":{"entity-type":"item","numeric-id":4719350,"id":"Q4719350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549668$2E4A87B7-BBF0-4581-9582-AB1E6F9E498B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549668$278B1E69-4CD3-4210-85B8-EDF95AB4C6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8073276a8916b97326b23193e92c52703810ec51","datavalue":{"value":{"entity-type":"item","numeric-id":5726943,"id":"Q5726943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549668$E2CC52C9-0249-43FA-8EF8-9ABF817B7DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549668$47031D3B-6925-48B7-91BA-2719C83A8243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dee9dc0a2d70823118175fe36f4a7f55b33863d2","datavalue":{"value":{"entity-type":"item","numeric-id":4372664,"id":"Q4372664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549668$DDEF8D18-38EE-4533-A125-353279876E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c56e5f3d04099429d7abf8e0094315eba6ba178","datavalue":{"value":{"entity-type":"item","numeric-id":1332843,"id":"Q1332843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549668$A13AEDD9-D89E-40E6-B0D9-909E143774BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549668$4FB55879-DE2B-4357-9CC1-FC2C230D629E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15431b14f3d4557d53893aa85801f3b134f403db","datavalue":{"value":{"entity-type":"item","numeric-id":5798145,"id":"Q5798145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549668$071BBCD1-96C6-4A4A-9429-D72177EA1678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"336fcf0ce8c7ac6444a2f5e1cbafb5151b64e14d","datavalue":{"value":{"entity-type":"item","numeric-id":5731904,"id":"Q5731904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549668$30EF022B-739C-494C-BBAC-0B9F641DE559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1787d2c081da04d535b4c5accca825bb6c37a8","datavalue":{"value":{"entity-type":"item","numeric-id":4340161,"id":"Q4340161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549668$80D23707-8B6E-41A4-86F8-D4602E5D1718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549668$DDBB5EC0-311B-439F-A614-1E218CDAD47A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf918eb3011dc47d273bac106299c64a4928add3","datavalue":{"value":"10.1016/J.IC.2011.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549668$E5EBCA17-1EFD-49B2-AEE4-2DD960D05A41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef81862bca1afbd34a6a39bb10b75740caa503e","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"701e634f4b1efbea954311d1a1610ffd8bb40c10","datavalue":{"value":{"amount":"+0.8405454158782959","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":"Q549668$A9099A35-6F4E-456D-BCC0-C25214DA6404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd56029ff1a956d2d233670412aeff688790877c","datavalue":{"value":{"entity-type":"item","numeric-id":5111437,"id":"Q5111437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c05e7008eddfd97d422db22bdc4237059ce156f","datavalue":{"value":{"amount":"+0.8395723104476929","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":"Q549668$9CB61C1A-5C21-49DC-AA27-6DD7CA55F8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b98ec27b8a77e1bfbc9a753e90565d7ad8248122","datavalue":{"value":{"entity-type":"item","numeric-id":2417857,"id":"Q2417857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3d6a9839021334cf2c6d907c7dcb2f179145e7a","datavalue":{"value":{"amount":"+0.8305104374885559","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":"Q549668$0D977149-BDCF-462D-B8BD-720389CA934D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3032a20242225f888f33b509e0b90b350d18d1a3","datavalue":{"value":{"entity-type":"item","numeric-id":5418956,"id":"Q5418956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40417eefeabd1598b97fefb321ca9dc57864f00d","datavalue":{"value":{"amount":"+0.7970306873321533","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":"Q549668$20A901B3-38BF-43CD-BD18-F0911DB401E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d46ba54601f163b675063e5c03a22cdf97caad","datavalue":{"value":{"entity-type":"item","numeric-id":3225737,"id":"Q3225737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a34881f1d199b9fe82bafd5f6b05a91d2b7838","datavalue":{"value":{"amount":"+0.7943459153175354","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":"Q549668$3504FCB6-67FE-4234-AA58-5B066AE92715","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:549668","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:549668"}}}}}