{"entities":{"Q6622071":{"pageid":14233228,"ns":120,"title":"Item:Q6622071","lastrevid":103634297,"modified":"2026-06-06T07:47:35Z","type":"item","id":"Q6622071","labels":{"en":{"language":"en","value":"Concurrent realizability on conjunctive structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7929343"}},"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":"Q6622071$B97C0A54-2E37-48CE-BC4C-D0B80C665F37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb3321ae82317e60653237a350b4b3a4e6a12718","datavalue":{"value":{"text":"Concurrent realizability on conjunctive structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6622071$75329EE6-CF7A-47FD-8C33-391568AC12C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fb13a1a8b19a64795fe12c414acc5e84b80ca62","datavalue":{"value":{"entity-type":"item","numeric-id":2491634,"id":"Q2491634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622071$8323386A-9342-4657-A585-8D29810DF0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3bbbc6b1eca0f468bdf1fb40d71566ff52caa8f","datavalue":{"value":{"entity-type":"item","numeric-id":3625596,"id":"Q3625596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622071$DFA244F6-EAC9-4F09-AB65-90BFBF599AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1047bbea383d0b9f5a07cb915390a4618eb4b03","datavalue":{"value":{"entity-type":"item","numeric-id":2973241,"id":"Q2973241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622071$26C7B6CD-E701-4E1D-A4F0-9D37273F4EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d25e6dfe9704fbad90bb3edf4deb2c92e5bbbb","datavalue":{"value":{"entity-type":"item","numeric-id":1652989,"id":"Q1652989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622071$011EE71C-A130-4530-92EB-21B5B3195FA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac889730097a55c61339de7e6de152e6be5788f0","datavalue":{"value":{"time":"+2024-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6622071$5B556081-6536-44D7-AF5D-DA3316BA15B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622071$AFC5B04F-A85F-4CE4-B275-0373A436F3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622071$F422BCE1-C1BF-4671-BA1C-F58F2CCC42AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"796c74f9cbe7c93b280e14db099f71dcbaa9005e","datavalue":{"value":"7929343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622071$43F5D1D9-B87C-45A1-A96E-1D1434F78111","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622071$A711A965-064F-4B3F-A70B-5C04D537626D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622071$D14098A1-EACB-450F-9C28-A233ADB028E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b99ae733070d3d1855ae2b169bdb873a71f7e3","datavalue":{"value":"concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622071$765802F9-179C-47B9-B028-E9DBEEF0B01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622071$BA398632-C25C-4876-BBA9-0F3DE472A14D","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":"Q6622071$EAA60D7A-36DD-4E49-B8F8-B7BC80586E5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8994d590a54a9c2667330404b60e29b67a192bd8","datavalue":{"value":"10.4230/LIPICS.FSCD.2023.28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622071$796F53D7-60C6-4342-BD4E-815E7F9AC735","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Concurrent realizability on conjunctive structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Concurrent_realizability_on_conjunctive_structures"}}}}}