{"entities":{"Q281144":{"pageid":282911,"ns":120,"title":"Item:Q281144","lastrevid":52526240,"modified":"2026-01-22T21:15:27Z","type":"item","id":"Q281144","labels":{"en":{"language":"en","value":"Bisimilar and logically equivalent programs in PDL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578784"}},"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":"Q281144$4E133581-E565-4C30-BE1F-BD9816C2F66A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb74adfe496734eb07ac355e1ccfe06014c2efd9","datavalue":{"value":{"text":"Bisimilar and logically equivalent programs in PDL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q281144$94C4D2D0-AD70-4A15-9E22-6052D54BADA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a544bd7e70ffd4ef74c420ef03966de85b791794","datavalue":{"value":"1335.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281144$6C2F9F42-9371-4170-838F-0F1624A2A1D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faf035fd863b205682c8dda962765b1be375dd4","datavalue":{"value":{"entity-type":"item","numeric-id":281143,"id":"Q281143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281144$6EABABC8-F516-4962-BA86-5B688693FC43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5080655d79bf372c5c5ce3cef49e38026d2edcb7","datavalue":{"value":{"time":"+2016-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q281144$D4728518-5E72-4047-8C87-FCFA8F449DC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281144$B48F0286-7C4B-4BAD-A676-37FEA29BFCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281144$13C2AA23-FF7A-423D-A894-0743B735D88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281144$9BF6DD3E-4807-40BA-AD1A-CDD346161040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281144$2E58AD83-4FC1-45EC-A8AC-C0414B17F087","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75aedd5cdcb814f0a2ee1a11e2b0ba5f871e7560","datavalue":{"value":"6578784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281144$80E2756B-149C-4C89-A068-722C47084754","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q281144$5DE59D1C-9CC0-4DD0-839F-1239CF7855F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q281144$1B578E57-1138-46E6-97B0-11681D7BEE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q281144$C13E490A-B55A-4D51-88DE-EE7B82E36A93","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2283cb2102e9d3f116924a11715fe0268c9ad2c2","datavalue":{"value":"Q113317873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281144$7ECD17EB-1BBB-4A37-B326-30B9C033B445","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":"Q281144$DDBA634E-ECF7-4217-A876-569A913C4EC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de68fbe545890bfcd6d0d77bcabc9f1dc06cc316","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.06.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q281144$6A1FC2E0-1CEC-449C-8CF2-7D67BD83871D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d437e9fa18c74ba95f177a911c8b0b102d6d6a7f","datavalue":{"value":"W1981837807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281144$76964E6C-83A5-444E-972D-24657AB01C83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281144$03E1A0D0-5514-488A-8496-8F1716FBB22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281144$FB8D456B-D420-4C5A-8C50-3C9623D0E68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b78e5cb84485f9815bc0326cef83c61d97bce1","datavalue":{"value":{"entity-type":"item","numeric-id":3511450,"id":"Q3511450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281144$FC2E9F89-7916-4091-B1BF-F957B985D432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281144$794CABC1-09E4-401A-A6D1-20E95B54AD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281144$6338E44F-FD63-418E-A9BE-5B4CDB5391A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbb95aaed3ff6b54cf282a6f5f369868bca72fa","datavalue":{"value":{"entity-type":"item","numeric-id":1391099,"id":"Q1391099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281144$5937387B-FD74-40CB-BDE8-16B3FDF6EDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281144$410A59D1-9702-44E5-84BB-2E5D8DB3AB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281144$CE848282-DC66-4047-A245-9666EEA86E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ab2d8390145c5151ca35ad49ab39837a18a8d7","datavalue":{"value":{"entity-type":"item","numeric-id":3137712,"id":"Q3137712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281144$9A7B595A-4ECC-4055-BF1C-046B950EB09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281144$B6B9F3CB-CD74-4507-A3BE-634A122CFE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281144$07844606-165A-41E9-8808-8595EDB4E43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281144$0E336739-DE49-48A9-99F1-06A5B9A24A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b8dc51fead714b2181fe77a23d97d81b23def7","datavalue":{"value":{"entity-type":"item","numeric-id":1095653,"id":"Q1095653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281144$040F0D46-AC45-4CF5-B0D0-5C176DB33E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281144$D27F2C6D-6229-4E5A-898E-4C057893038C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcccba79861386df19c84997945862e47e9786d2","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281144$670B1261-2B75-4BCB-B951-A5AB2FD19F10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f52aa3a9c691c395fa249a3051c2ee25d4d7bd9","datavalue":{"value":"10.1016/J.ENTCS.2014.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281144$44DF4927-FB03-4536-8DE3-6AE57CA45AC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b134d27fd72e065143eb488cce051ee8a0991fa1","datavalue":{"value":{"entity-type":"item","numeric-id":2358700,"id":"Q2358700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a60269a0fb666027cb05358fa3bee1aabf2d2b","datavalue":{"value":{"amount":"+0.93306964635849","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":"Q281144$7C97701D-C072-434B-B01B-2A6AEB04BD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532da0e7d0f996a9c558e3a78df28a96b8510f4e","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c54e03c1321a4add9aab3c2a67fbd722e9312f","datavalue":{"value":{"amount":"+0.7604913115501404","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":"Q281144$22DB419C-C743-46C4-89AD-735A816EE277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e497e89d3f907bd920ef245c3f449e961dfcb71d","datavalue":{"value":{"entity-type":"item","numeric-id":5411963,"id":"Q5411963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c54e03c1321a4add9aab3c2a67fbd722e9312f","datavalue":{"value":{"amount":"+0.7604913115501404","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":"Q281144$8EEF7A68-C4DB-469F-BE26-598DF30263F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b33e5d03417cef85b116c18e3b1fcdb4f6370687","datavalue":{"value":{"entity-type":"item","numeric-id":2257984,"id":"Q2257984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1372c952026e679c3c420c2df9a5e0d543119610","datavalue":{"value":{"amount":"+0.7521376013755798","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":"Q281144$AF26580F-00B0-4D0D-B229-C627AD9D2727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d297f6860ba63a4752b42d120a699735fbd08b4","datavalue":{"value":{"entity-type":"item","numeric-id":3063969,"id":"Q3063969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b689588c908b39a3ca94b5658859b85c57ef019d","datavalue":{"value":{"amount":"+0.7513394951820374","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":"Q281144$9BB49B82-E881-45B4-8F90-BC3DEA3F8145","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:281144","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:281144"}}}}}