{"entities":{"Q2358700":{"pageid":2369443,"ns":120,"title":"Item:Q2358700","lastrevid":73997058,"modified":"2026-04-14T17:59:55Z","type":"item","id":"Q2358700","labels":{"en":{"language":"en","value":"Bisimilar and logically equivalent programs in PDL with parallel operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6731774"}},"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":"Q2358700$43668607-0232-48E5-A1C0-4283491488AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6c3eb6712760f97ff0953239715a5f2ec47f291","datavalue":{"value":{"text":"Bisimilar and logically equivalent programs in PDL with parallel operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2358700$43F46319-FBCF-434D-86AC-7E8BEBE960C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbe41ecb37ef77a775ac97b81df639caee8519d6","datavalue":{"value":"1371.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358700$A3644319-D340-4304-BD67-EBE52CA17FB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358700$DB8DB101-D727-47B7-9087-7B851A916F28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92d82bc79e45dbea4d44c115656eba4b7d7ac07a","datavalue":{"value":{"time":"+2017-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2358700$27AFA5C7-9B6C-4E83-B177-22DC8C004CB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358700$9426FBF0-B2E7-4698-A29E-39362A2D0E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358700$EDD329C3-7A9F-414B-B9D8-6142EC8AA8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358700$33960458-F1D5-4FD6-A9C4-C696A6067873","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0131ffb12b907df62268f6af794acca834636e7","datavalue":{"value":"6731774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358700$1532DE9F-FA42-4872-9FEA-4879F27DC36F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358700$B4ABE42F-DFE5-4228-A26C-229815793BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358700$EEA227C0-0EF9-4D05-A880-D675D943DCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358700$A73D62C1-CB9B-4189-90EC-0191953441A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9146ff6aa4230ed125df8b034c69c5375686d0b","datavalue":{"value":"EXPTIME-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358700$C0E1CF57-8A7C-4414-9E6A-957C71B4B4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358700$A946DCAF-656C-416F-B1AC-A32C093D8261","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":"Q2358700$0D083888-E9B1-4A00-90B7-CB651DE90E71","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":"Q2358700$F6AF636F-59D5-4BEB-A8AC-76BCE89FF831","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38225631011c66258af2b902ba825111e53af87b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2017.02.037","type":"string"},"datatype":"url"},"type":"statement","id":"Q2358700$DA56CA82-0242-4C8A-93EF-E49DE6171799","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b874d9d7d350ff5d1bc776902007f7ad4efb51df","datavalue":{"value":"W2605031058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358700$417561CF-01AF-4C30-B6A8-439C92635526","rank":"normal"}],"P223":[{"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":"Q2358700$BD97B2B5-12C0-4BA9-B20F-F184DC7D1315","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":"Q2358700$7DFFD672-1C76-4C95-8D09-F91A9431770A","rank":"normal"},{"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":"Q2358700$01DFBDA0-70EE-4007-905A-8651B750B343","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":"Q2358700$42C297AB-E0F8-42B0-908E-1F88E8A0E17E","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":"Q2358700$226BE6AE-32A3-4D38-BAD0-01653FF56193","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":"Q2358700$1ED69432-424D-47F8-AC3D-983D6B1C6C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb2f20637aa4e31b47c449a655ca0496ade5656","datavalue":{"value":{"entity-type":"item","numeric-id":281144,"id":"Q281144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358700$F9EB7532-43F3-4A20-B653-5ACDD52A22B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f190a0136f4d6124b79a857ef55be5746342b8a","datavalue":{"value":{"entity-type":"item","numeric-id":2937698,"id":"Q2937698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358700$426DBB66-0FBE-4E59-AD72-26C85A8FA89A","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":"Q2358700$AD277E8B-B978-4E95-A966-8D7B33CE5E50","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":"Q2358700$074F8BE8-E023-48AC-9757-31CC2099C6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efea0cb6fd0b89c60672609cf98a61fcdf693a9d","datavalue":{"value":{"entity-type":"item","numeric-id":2643333,"id":"Q2643333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358700$0167CDD3-9089-4C06-BDA7-BFB100050282","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":"Q2358700$2C1A676F-1D3D-41E8-AC2C-DBD7F84CE988","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":"Q2358700$73D5C7C3-866C-4040-976A-3D10622703C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5618fb8b460a445c3325b999b697852eb71b3bba","datavalue":{"value":{"entity-type":"item","numeric-id":4316304,"id":"Q4316304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358700$79182716-253B-4EC6-8199-0F06979AA34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5d4a6a227c79868bd9b5023884039f04b712af5","datavalue":{"value":{"entity-type":"item","numeric-id":3321470,"id":"Q3321470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358700$908BCDE1-D259-4960-BC07-A6AE15D5803A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98fef62756f22d1a965f4c48fbc4545a69d3f2cd","datavalue":{"value":{"entity-type":"item","numeric-id":5179014,"id":"Q5179014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358700$D219C0AF-BB7E-4C45-8FC1-560AFBBAA26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a47ceef8e8bb43610a5dfada2037aa033f217016","datavalue":{"value":{"entity-type":"item","numeric-id":4636282,"id":"Q4636282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358700$58E9B45B-527D-49AF-85CC-B690BD428315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6bf96edb0f4dcf0be072766193d46f0d3ca172e","datavalue":{"value":{"entity-type":"item","numeric-id":3454121,"id":"Q3454121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358700$92B605A5-BC55-46DE-8A7C-4E2796CD9664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c08052cdd5e01df927cc92fa847f9c438227330","datavalue":{"value":{"entity-type":"item","numeric-id":2946330,"id":"Q2946330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358700$C12D72E1-2EAC-4B39-A750-2540C9BC1C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5493f35ffecfed69aa95258ef0f33b97b187a5","datavalue":{"value":{"entity-type":"item","numeric-id":2817938,"id":"Q2817938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358700$A2EB817D-D5A7-4B60-B6E5-52FB31F6F58F","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":"Q2358700$C7BB3A08-D2FA-4E9F-BFB2-4DDCBA457DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358700$293164C7-9953-496B-96EC-1C731287AD93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85df7c167b8d6e0f743fd2d6076e20a4db6c629f","datavalue":{"value":"10.1016/J.TCS.2017.02.037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358700$025E016A-3A04-41A6-8599-6A3482EF8A00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c59fc791cb8aa2e6b55bee786b69b56494756338","datavalue":{"value":{"entity-type":"item","numeric-id":281144,"id":"Q281144"},"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":"Q2358700$10EFB9CF-3DD5-40C4-A725-406491D6C20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20beed9b09b7d5b0a6f2cad6c51d80c7102f06f5","datavalue":{"value":{"entity-type":"item","numeric-id":3511450,"id":"Q3511450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474958693324a0a17cc37f7f8e1fabfb650276c7","datavalue":{"value":{"amount":"+0.7860856652259827","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":"Q2358700$813FC421-E8E0-4FAD-86DE-22BF55830179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789edbfedc483f4f27be291a26ad57f2645a94f9","datavalue":{"value":{"entity-type":"item","numeric-id":3801527,"id":"Q3801527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"753f9073a9d192de8f361655e69d8661c16c0cdb","datavalue":{"value":{"amount":"+0.7818863391876221","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":"Q2358700$9A499309-1BFC-4593-9FF7-22AA3105986F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1b49f78900645a2e856486c28fe7af785604b6b","datavalue":{"value":{"entity-type":"item","numeric-id":2937698,"id":"Q2937698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19ca656d4c014ac2e494b9d77b3a289109bad7f3","datavalue":{"value":{"amount":"+0.7789506912231445","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":"Q2358700$57E591BE-3287-4570-ABE4-9668A5743031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3835672983f8530d2df7bce018160814d5657b8a","datavalue":{"value":{"entity-type":"item","numeric-id":2817938,"id":"Q2817938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d4c40f94b22100455f113753e596e2cdf6577c","datavalue":{"value":{"amount":"+0.7614529728889465","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":"Q2358700$692D5062-DD16-4391-B736-26B85A32C900","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimilar and logically equivalent programs in PDL with parallel operator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimilar_and_logically_equivalent_programs_in_PDL_with_parallel_operator"}}}}}