{"entities":{"Q2520701":{"pageid":2531444,"ns":120,"title":"Item:Q2520701","lastrevid":73520607,"modified":"2026-04-14T16:19:04Z","type":"item","id":"Q2520701","labels":{"en":{"language":"en","value":"Open maps in concrete categories and branching bisimulation for prefix orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6664925"}},"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":"Q2520701$48D2FA78-6978-4FF5-BCD8-83CD9537C9A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11fb5173bc1265c33f454fc105a4aec5d4fdbdec","datavalue":{"value":{"text":"Open maps in concrete categories and branching bisimulation for prefix orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2520701$BFC7EDDD-EF65-4359-8F76-710BE8B1F973","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85bbb5030cb237bc1f27de50f1930b1c960bc711","datavalue":{"value":"1351.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520701$937FAB59-04A0-449C-A1C7-D8B355A63A98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e05986514e56aaa9abd2193d36fdb5190f5d424e","datavalue":{"value":{"entity-type":"item","numeric-id":2104471,"id":"Q2104471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520701$9E73C94D-E118-4C91-93EC-23AFA7F395DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80cc8ccbeb9bba0c322281814418b19111b673cd","datavalue":{"value":{"entity-type":"item","numeric-id":777054,"id":"Q777054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520701$957E4001-F4F5-432A-9A2A-FDF494BD13B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2520701$528BA0BD-9945-4204-B0E6-CC163D7FCADF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520701$DBA4226A-1BDA-4CB5-824E-0CB22F9C80F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520701$0114F59C-117F-4C78-9E6A-273299ABF547","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"053e3c861e85a02edfb5373dadce66c3ce8ace7a","datavalue":{"value":"6664925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520701$2462BF77-FC06-457C-8E1C-B8A0FC0F685D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4232164ccb14df204d9f7f806e998db607ef1825","datavalue":{"value":"open maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520701$DD72A41B-D28C-406E-B73E-F61EC1A01F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98dead84fd9bafb3d67ed4e77754019ef1d7bd56","datavalue":{"value":"prefix orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520701$8CDDD618-554C-4CA0-B141-4978428152DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdcb6c6a7e0b4c9bdfdd4689583b799e2a826f4","datavalue":{"value":"branching bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520701$8A6AE9BE-77C0-4A84-87BB-7BB17DA24CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7a675a6765b2cee64f5b59e76e793954c093a9","datavalue":{"value":"concrete categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520701$86C6C6DF-3084-4652-85D1-0B09B235CB65","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":"Q2520701$6403371F-CF1B-4535-A44D-506AF77232EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6474e0b4cad6ecb47f4d81202224d650a7c6c00d","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2015.12.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2520701$82DAFC10-B51C-48A3-97EC-D9F10AA25A15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84d7c976c89683c0274bc1a4d5b0f5eb087ca8e8","datavalue":{"value":"W2212591034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520701$536722C6-F9E3-490A-B0B9-78A749F1CB04","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e7bf2f461d0070834bac16e39ab83866e7cf4e81","datavalue":{"value":"Q113317739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520701$06A3834A-17A5-4FB1-A677-3A61A8725A7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8dbc01f141aac67e730020e0223295e4cca5b6","datavalue":{"value":{"entity-type":"item","numeric-id":4992501,"id":"Q4992501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520701$F1CE83E9-8A1D-4EA2-8868-75A478404CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aacb971a9ba51fec57dbb3d5aa315d494051ee8","datavalue":{"value":{"entity-type":"item","numeric-id":2495642,"id":"Q2495642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520701$4C56A06A-47EB-4645-B21D-643F3E6E3932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d325c2af328a199acd0812119eccc77a69ad641","datavalue":{"value":{"entity-type":"item","numeric-id":5410680,"id":"Q5410680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520701$FF5FCC33-BA88-4E98-86B9-6ADEC61A81B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"157da0272a2a41a5346670eeaea1c4060a9d53cd","datavalue":{"value":{"entity-type":"item","numeric-id":4251929,"id":"Q4251929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520701$3CE20B7C-3C18-4AEC-AE86-FAC21F7AF1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb4168e06b9f07252f0d4651c8b05749e149f88","datavalue":{"value":{"entity-type":"item","numeric-id":1338199,"id":"Q1338199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520701$480F4A34-012B-49D8-86C7-2EB5D28BE812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520701$266C8D0A-9AE2-449B-AD92-B5A73400826D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e85ea0f7d116d20efeb8ee4f59cd2d5666d577d","datavalue":{"value":{"entity-type":"item","numeric-id":549668,"id":"Q549668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520701$CA1319E2-8F4B-44DD-8CCA-4EFB1EFA00AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a83a220deb3074e3c7bcc3b2d6494b4729981bd","datavalue":{"value":{"entity-type":"item","numeric-id":1807502,"id":"Q1807502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520701$6B4CF79E-4BDF-4B69-85C7-ADBC0BA707FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520701$246FDAB5-ED9E-4FD4-8E63-3409C5681578","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"668cb28e1015c881f30d525e3ab152b6c2dc6c9f","datavalue":{"value":"10.1016/J.ENTCS.2015.12.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520701$0D1184EA-96DB-4346-9BC4-EC60027FFD61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9794d80d8ccb6af88900bac230bb34dc4e835c55","datavalue":{"value":{"entity-type":"item","numeric-id":1389441,"id":"Q1389441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01750e22185599c4f68c965c71b51706d5599034","datavalue":{"value":{"amount":"+0.8126760721206665","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":"Q2520701$223EE3F2-998F-49B4-AF2D-C1E9395B6150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a2097ec4f0905c4b1e9fd107eb496e8f2bd443","datavalue":{"value":{"entity-type":"item","numeric-id":5878914,"id":"Q5878914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c01b93d6eb95e769ec8ef16f7b8adba6d150d7e","datavalue":{"value":{"amount":"+0.8091199994087219","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":"Q2520701$DEED9588-BEC1-466A-B1BF-74D98961D462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73af00b523026f08ada5f20901dfdb484f108cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b1e5891d12302eaa3b45aeb49881a7160e1fda","datavalue":{"value":{"amount":"+0.8028473258018494","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":"Q2520701$D5D67025-E92B-48E7-8822-CADEF6849109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"486c736343e584ea5ed52d3415912a4f7a6ecfa7","datavalue":{"value":{"entity-type":"item","numeric-id":3455065,"id":"Q3455065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ff088960a7e59003e54079e2142f638a7e1646e","datavalue":{"value":{"amount":"+0.8018915057182312","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":"Q2520701$AE9537EA-FCAA-4631-81F5-7A6258807D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fddea78b3b751d46b25a76f134818924a099218","datavalue":{"value":{"entity-type":"item","numeric-id":2956688,"id":"Q2956688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3000ca6ba4290e34f24735e43341ff78864b8dc7","datavalue":{"value":{"amount":"+0.794562816619873","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":"Q2520701$174A626E-7254-4E18-912A-E8C661F7034D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Open maps in concrete categories and branching bisimulation for prefix orders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Open_maps_in_concrete_categories_and_branching_bisimulation_for_prefix_orders"}}}}}