{"entities":{"Q5204358":{"pageid":7233929,"ns":120,"title":"Item:Q5204358","lastrevid":91548707,"modified":"2026-06-04T23:27:16Z","type":"item","id":"Q5204358","labels":{"en":{"language":"en","value":"Checking equivalences between concurrent systems of finite agents (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7139672"}},"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":"Q5204358$38451105-AF53-434D-8576-A5148AC43488","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79ca3366a37181bd83939d15202f2dae4faa4d4c","datavalue":{"value":{"text":"Checking equivalences between concurrent systems of finite agents (Extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5204358$21C8C8FC-8ACA-46F5-A075-94D6B74B1544","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ab63d365f99ca3c85002224b275eaa25dc311a4","datavalue":{"value":"1425.68302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204358$9566ED62-2BDA-4458-A281-8CB5EDFA1955","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dadd6d0a1b05d94c706b6ecbf394aa3f431ed51a","datavalue":{"value":"10.1007/3-540-55719-9_115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204358$6EA86CB9-C77A-44E5-9068-82612AFD9A9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204358$3677A563-19EF-4960-9623-17D50BEF49B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204358$33E84D9D-4439-417C-9F20-799B21BC93C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"332b7ab2f562de760e4211faf2f6e6ad840f3db2","datavalue":{"value":{"time":"+2019-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5204358$22F052A9-50BE-456B-9CD3-13156B7D84F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204358$E2D706F2-BB7F-4ADE-A82B-894C92AA981A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204358$561FF78B-8BF3-432A-886A-58C0B11ADCFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be262f2675b5ddbc9dfbaf4279eb8d976bd6c2c1","datavalue":{"value":"7139672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204358$ADCCFE2E-E2D4-4BDB-A0F4-D0588B0C0886","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":"Q5204358$EAC040AD-630E-432C-ACCB-CEB4D4134CFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cf66e977182d09b4f48b293efb5a2aa1400f1c7","datavalue":{"value":"https://doi.org/10.1007/3-540-55719-9_115","type":"string"},"datatype":"url"},"type":"statement","id":"Q5204358$79DFA335-F700-4B47-B2B6-D79B10E1B9DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0701bcd33e9e68ed54a7e2f0738df18cd5362ce9","datavalue":{"value":"W1561620381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5204358$0F1FCE58-872A-4891-8E27-9E4CC2BE1E25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204358$75801F92-D198-4CAE-B88A-4B9AEEBB6D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b0f4db04f9c75ea19ea5967c0becb3d0ef7a1f","datavalue":{"value":{"entity-type":"item","numeric-id":3888558,"id":"Q3888558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204358$CC0FBE48-B2B4-420B-BCDA-4B3ECD514C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204358$385C936C-0C6F-4378-84AA-22C8AD016D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204358$93A5BA06-BF4C-45A6-AFDA-D4C762A59C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204358$219A0D02-A287-4FF0-8000-BFF09C2F33F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204358$75BEC035-3A03-4A19-801D-5427931839C4","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":"Q5204358$86DA6971-866C-41AA-8BC1-AEEC50F4169D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204358$B8161CA2-887E-4B47-B046-5D10320D9F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204358$455F57DD-AD20-4950-95AB-6F41CB335FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204358$61834CF2-5783-4486-822B-8D4273CFCF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5204358$54E675A9-C417-4C32-BCDC-D89373B5FF08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8520078236ef0189616b86c320dc5beadfc5af00","datavalue":{"value":{"entity-type":"item","numeric-id":1383143,"id":"Q1383143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b06d227c5459c3f42628bee612c647a9ac4b2c59","datavalue":{"value":{"amount":"+0.9103550910949708","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":"Q5204358$C2D1A12C-41AF-40E0-992F-9BC372BB9A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8895540a6f0cc570a836b58e47b3c7390a63b6","datavalue":{"value":{"entity-type":"item","numeric-id":1015390,"id":"Q1015390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c4587bcc64cfd064a007098de8cd32e3f6aa5b","datavalue":{"value":{"amount":"+0.7857058644294739","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":"Q5204358$201D27E9-5057-4A20-B478-DD53E6318F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba77836ffeb7f786274e7c3e6a4e729468360cc","datavalue":{"value":{"entity-type":"item","numeric-id":5900569,"id":"Q5900569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efbbb2912eff5c7a1129294bedfa0ea2657b70a0","datavalue":{"value":{"amount":"+0.7823833227157593","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":"Q5204358$9C229E28-3F06-471C-83A9-D20EA245C0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516bd943972c6cbd6b22be160d797dc7e9735399","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"067f4724b2bb6f36311efa13eca548bdb4c55bd1","datavalue":{"value":{"amount":"+0.7498351335525513","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":"Q5204358$EEC5ED5B-29BF-4940-A8BA-C5FB36137C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64b9b81f97b56a7f879013b60f99e3e95ea2fc6d","datavalue":{"value":{"entity-type":"item","numeric-id":988552,"id":"Q988552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83bf6056da1be0f86e8ffd0d73ce558127a93ade","datavalue":{"value":{"amount":"+0.7446488738059998","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":"Q5204358$FFFE986D-F0E4-44FC-9E83-701CCA1A96FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Checking equivalences between concurrent systems of finite agents (extended abstract)","badges":[]}}}}}