{"entities":{"Q1675792":{"pageid":1686533,"ns":120,"title":"Item:Q1675792","lastrevid":68116881,"modified":"2026-04-12T21:33:05Z","type":"item","id":"Q1675792","labels":{"en":{"language":"en","value":"Logical characterisation of parameterised bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6802656"}},"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":"Q1675792$6878BA79-1866-4819-856F-2C31B939D8A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f425f4b66971e0f211dd9c14e3f87e39975e003","datavalue":{"value":{"text":"Logical characterisation of parameterised bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1675792$F88424A7-99E0-4864-879B-4A4CE4A99725","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad0f70a4b221ad51f627d34126f60b85feaa05e7","datavalue":{"value":"1444.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675792$41003BE1-924D-4DF4-AA7F-798F07032D9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdd5763bda91c68d6ed27e637126daba38f1822a","datavalue":{"value":"10.1007/978-3-319-67729-3_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675792$C328AAEE-AA56-432B-A39C-62B16DF8E000","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d6e6fc9bb4f642a194f0df75e4b948d812ed923","datavalue":{"value":{"entity-type":"item","numeric-id":1675790,"id":"Q1675790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675792$FDC8151F-87DD-448C-B128-E9F9679ED8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31ca9a23203c8ab9b66675f234714a93592e585e","datavalue":{"value":{"entity-type":"item","numeric-id":1675791,"id":"Q1675791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675792$D3ADFA54-C73F-4B95-91B4-9C09127B8D38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67aba7197112cbac1f8ed2910c0f63c4d1f0c462","datavalue":{"value":{"time":"+2017-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1675792$B8DFB059-ACB1-4244-86EF-947789F80857","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675792$E3E033A7-BF7A-4A67-A319-300ABE25A1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675792$AA1B655B-8AFC-4C53-95C0-A40273DFF36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675792$4C912A60-4C81-4AB6-A763-7160AFA7F5F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4325b1165281b867368ad3fd0eaf695c59a2b197","datavalue":{"value":"6802656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675792$AA6C828A-49ED-4C96-8FAA-866765FB2AB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1675792$1E19B9DF-6234-470C-9D8F-F87FBEFF69B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1675792$8F1B84CD-A95E-46DE-AFCC-BDA775A49260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb3b5edf92a5ede76026209804249f7152e8220","datavalue":{"value":"logical characterisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1675792$2A5DD55C-8AC4-42AC-A984-0AF4F2EB4EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266d5bb2142d4245de122e3e21f0401a7f003e02","datavalue":{"value":"distinguishing formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1675792$C7017E92-26C3-4CD7-B02B-7C97CE9CC6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dc3bb38d1bb4e53db1fb8a5d4376abe101185c8","datavalue":{"value":"characteristic formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1675792$55CA32D7-0FA4-4256-8C2F-CC3E3E5578AF","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":"Q1675792$83A191B0-8348-4261-A4AE-E8A1ABE541F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae3a236c93451448bbf6c927a59dd5a549152c76","datavalue":{"value":"https://doi.org/10.1007/978-3-319-67729-3_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1675792$0ABC3A44-67B6-4F8D-AE01-45AD79E73932","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ec2ad287b44f4818f2ea23309f1dec4415d387b","datavalue":{"value":"W2754880758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675792$F06A4BCF-8ADE-4763-95DC-FAE35F048B28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3ba4a659fc13859eb8c16c3679cf033cef0b172","datavalue":{"value":{"entity-type":"item","numeric-id":5058364,"id":"Q5058364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd54c13cdf684272593bc1b7c1b535b0299db6bf","datavalue":{"value":{"amount":"+0.792358934879303","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":"Q1675792$DE11178A-E98A-4FAE-9C9C-7CA0449526C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ba7324ce85b473a74d8b2c333636413a484abf","datavalue":{"value":{"entity-type":"item","numeric-id":5410486,"id":"Q5410486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6e02596085f9c2fc21ec83f9fb6102306847607","datavalue":{"value":{"amount":"+0.7682965397834778","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":"Q1675792$654EE58B-808B-4EBC-8842-7BF1EE2D2365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667ccd1e9d3f9460033ac65546ef03a27df98f88","datavalue":{"value":{"entity-type":"item","numeric-id":4896928,"id":"Q4896928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc2e996fa22e66fe226f50437030c73681621f3","datavalue":{"value":{"amount":"+0.7523959875106812","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":"Q1675792$2043DA9C-B7D4-4C55-9C71-E4AECD74D274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40e1faa8b60810721ebbcccf3eab2d3b315fd501","datavalue":{"value":{"entity-type":"item","numeric-id":679804,"id":"Q679804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8755f862f15c6416293f3d8c8a0b3632b831360c","datavalue":{"value":{"amount":"+0.7498179078102112","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":"Q1675792$C3CBDFB7-12B7-41EC-9A6C-99C09BD2A555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11cdf29caa07a9f843ffa8b503d3b8cda24aa5e","datavalue":{"value":{"entity-type":"item","numeric-id":5758058,"id":"Q5758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294b00513d92bac30fb912b9e665eeaeaf082ff6","datavalue":{"value":{"amount":"+0.7355427742004395","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":"Q1675792$B5499618-B98E-476B-A5A5-64722DAFC513","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical characterisation of parameterised bisimulations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_characterisation_of_parameterised_bisimulations"}}}}}