{"entities":{"Q1577351":{"pageid":1588091,"ns":120,"title":"Item:Q1577351","lastrevid":70745787,"modified":"2026-04-13T16:28:24Z","type":"item","id":"Q1577351","labels":{"en":{"language":"en","value":"Program constructions that are safe for bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1501378"}},"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":"Q1577351$81F5C2EF-9515-47BE-AF94-795749993F75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3957bc502cca94a2f70c18bf457e82b280dbecea","datavalue":{"value":{"text":"Program constructions that are safe for bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1577351$FEAEC533-C756-47DF-973D-96188384E5ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d65943e229b2616d229faf6172f5541d58a6b94","datavalue":{"value":"0958.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577351$359B83B6-20A8-41B5-8CA1-658B9BE679CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d9d15ecd9aeb0b7a6223b971f91b7f94f447af0","datavalue":{"value":"10.1023/A:1005072201319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577351$0DC62565-8B6B-4F8D-B31D-00B21610B891","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577351$6F1481E2-5A14-413B-8078-968091EBF8FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6246d2b0758e40e13ebf36e49fe4eeee1d8a2e43","datavalue":{"value":{"time":"+2000-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1577351$BEA5307A-0A25-4299-B867-818E44BE66F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577351$ABEBB1D3-038A-4FC8-B6AC-60C95DA27456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577351$71D8A264-F5AE-4B62-AA10-B0929675BCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577351$B0532AB9-6D4B-439C-A0FD-E59E35E92C79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f89ff272719ccac0f39c5d8b5d66ac5f16cfff45","datavalue":{"value":"1501378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577351$85FF0ECF-0EF1-48B5-8C0B-1AFFCC9CF5F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577351$A91FFCE1-6C19-4B4A-91BF-4B7CDF9C6226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577351$CD3E49E6-1ADE-407C-8309-436AA579632F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577351$3A83D469-9CDF-41E8-A02D-9558691D7D25","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":"Q1577351$2795A2BF-9A8E-4CF6-A91F-FF2425C6D5A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77f319d8392b33560a6a48b463e37ce22c19550","datavalue":{"value":{"entity-type":"item","numeric-id":5178899,"id":"Q5178899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67534715972d21d47bffd5a78ae8f6d87a751fb6","datavalue":{"value":{"amount":"+0.9309255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1577351$9229A6A7-53C9-4B1A-8F61-F414B79F39D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d82dc2cd5b91d0d43ea5c2930a4cf57b31e006c","datavalue":{"value":{"entity-type":"item","numeric-id":4636281,"id":"Q4636281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df5a16871a5c5f48452d4c5a60816900b1dbbffc","datavalue":{"value":{"amount":"+0.89500177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1577351$20624AD4-DC72-4388-BD57-9DB497007F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc98212eaf27f4e338e2ecd17bb97ef59740332","datavalue":{"value":{"entity-type":"item","numeric-id":2753694,"id":"Q2753694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"615700c5014c2a6a37221370cebe226d0199d70e","datavalue":{"value":{"amount":"+0.89372337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1577351$0AE4064D-5105-48E4-B98F-204D968E18EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e86fffbf2b110759b555950f6d521d8d7229e1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cbdb04bd846a17994ec997fc30bf45ddd28d009","datavalue":{"value":{"amount":"+0.8748807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1577351$1148241B-909B-4A80-9274-CCCC5C2F9286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99aafad52e80fc44670b1d1f0e82411f98d93732","datavalue":{"value":{"entity-type":"item","numeric-id":3624590,"id":"Q3624590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2cb7efa3b32f4e05738c9d2ff3d37a942d2d04d","datavalue":{"value":{"amount":"+0.86727357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1577351$68B44710-00F4-4F84-A8DC-E19C86FDE69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e590642790d6b9884ec6c573cef4baee6a1236b8","datavalue":{"value":{"entity-type":"item","numeric-id":5249664,"id":"Q5249664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5a64afde9af3eee26a1c4bd7a9bc9b260fec9bc","datavalue":{"value":{"amount":"+0.8657372","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1577351$3C16252B-FF3C-4780-8EAB-EE142DE9A775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191255e3a2941778a5ecb58cdb43515fd82d7818","datavalue":{"value":{"entity-type":"item","numeric-id":4270079,"id":"Q4270079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7536269ef977a7c322dc4a01ec6e72f03875d7fd","datavalue":{"value":{"amount":"+0.8613914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1577351$DF88A08D-A98E-479F-9E71-0AB65620B7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb4cec045972da0de9f48742121bb34be5ab3e1","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d084059d9e0079864d29167e379a66245455a4cb","datavalue":{"value":{"amount":"+0.86046576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1577351$33937A4C-45D6-4A8F-8C2F-FF2B3C0C1DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faabfcd39ce4f55f60697320dd706bf6f4824916","datavalue":{"value":{"entity-type":"item","numeric-id":3569037,"id":"Q3569037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"668abaebbdec036b3ebd3f2eca8ac5c8bbeb27f4","datavalue":{"value":{"amount":"+0.856925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1577351$A071FFBE-1DFC-41AC-9C88-C175FDCEBEC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program constructions that are safe for bisimulation","badges":[]}}}}}