{"entities":{"Q2386355":{"pageid":2397098,"ns":120,"title":"Item:Q2386355","lastrevid":72673152,"modified":"2026-04-14T06:26:00Z","type":"item","id":"Q2386355","labels":{"en":{"language":"en","value":"Bisimilarity for the region calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2197204"}},"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":"Q2386355$4A37CF61-30D3-4567-ACE9-E2218E0D82D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1a9b5937e9a7d842d3201b16a4aec6f7f1b3dc8","datavalue":{"value":{"text":"Bisimilarity for the region calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2386355$BB57C2C1-93C5-449E-A522-5C2BBAF63493","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f617e1bc413a1f90616436bb1e46eab8606360da","datavalue":{"value":"1099.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386355$2F947E17-2786-4296-918F-587A9D91C630","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ce1dc6c43a12a4348d756dfff7a4efae2ef8c07","datavalue":{"value":{"entity-type":"item","numeric-id":1854514,"id":"Q1854514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386355$BC8ABE9D-494E-49B3-8258-A5D9EC9BAE07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386355$6D6F1065-B33B-4382-AC85-7C145D4F8531","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dd83e30b5291de8829d091c1ba44aab3df736da","datavalue":{"value":{"time":"+2005-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2386355$7916EA11-B4A6-499D-BF43-CBEB859E8025","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386355$22FF935F-65C6-4EBF-9F62-F375A54BF33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386355$5474F7DB-82D8-41A5-B651-4A25C61FE1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386355$A1CFF0B0-5642-4E57-ADFB-8C3237DEC19A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8cedfc9ee340fbe88a9b581f081cede265347be","datavalue":{"value":"2197204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386355$61686EB6-BD56-4785-AC61-CD194F78CFEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386355$1E6234D9-596D-47F2-89AD-02CCB10E1F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e56b255db1f96e911f1a14f6e0a6721a606143e7","datavalue":{"value":"syntactic equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386355$B2AD71A4-E23F-414E-BC0F-1F63A473D111","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":"Q2386355$8F6C5C63-746A-4381-B0BE-2AE062D99496","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e3b69ee145856209d6cbe7a06e944b84ff2d866","datavalue":{"value":"https://doi.org/10.1007/s10990-004-4868-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2386355$C4A96FA8-55B5-4164-B1CD-9F08A89BC40D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7964e20776f199766f13e7dfca6f1bb200b82b05","datavalue":{"value":"W1968241826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386355$3CAF3CD0-4E9A-4065-B5F3-1FC2044161F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3553d5241961af41597c885f991f5e5805c02f29","datavalue":{"value":"10.1007/S10990-004-4868-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386355$102A3B63-C545-4C7F-B89A-4EB7878F4BFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbd12ee2edae4f2e5ee46d561a7efa2e1fc7808","datavalue":{"value":{"entity-type":"item","numeric-id":4921505,"id":"Q4921505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bc53a55925ddf88a1c4ebc29564e1b7d251cc77","datavalue":{"value":{"amount":"+0.7909064292907715","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":"Q2386355$BE85B758-F582-40A7-B146-9769CF61A93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c880d310ee92ccb53413e8b36e86b9cfc8683d61","datavalue":{"value":{"entity-type":"item","numeric-id":1854515,"id":"Q1854515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efb3a45fd2ac1323f7c461376ac21d65afdee447","datavalue":{"value":{"amount":"+0.7828601598739624","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":"Q2386355$4A694E5F-725F-442E-B5BB-6FE25FD761D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5401ff275df95f9a39aaf8d812cbf75ba8b759","datavalue":{"value":{"entity-type":"item","numeric-id":5178882,"id":"Q5178882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b04877309bbd2705c508ef5334ede9169e5e797","datavalue":{"value":{"amount":"+0.7355472445487976","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":"Q2386355$37C5ADD8-F5EF-45C3-A20E-AD4AECE12F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9472cfeedc670b5aa7c21fb62cddb9d2271c57d","datavalue":{"value":{"entity-type":"item","numeric-id":4542148,"id":"Q4542148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ca0f6763b0c29ad7d245d30cad11aa9c76bbd7c","datavalue":{"value":{"amount":"+0.7297226786613464","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":"Q2386355$71BB1D95-789A-4BE6-93BD-B42BEE0EFFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f893f66581409572b90174b022c77355cc827326","datavalue":{"value":{"entity-type":"item","numeric-id":4536340,"id":"Q4536340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2f0dba3806ec5f2f946a0ac86b217d360aa0369","datavalue":{"value":{"amount":"+0.7224439978599548","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":"Q2386355$59973D94-0978-4C35-9534-CA792AD034B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimilarity for the region calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimilarity_for_the_region_calculus"}}}}}