{"entities":{"Q5145613":{"pageid":7175184,"ns":120,"title":"Item:Q5145613","lastrevid":53912840,"modified":"2026-01-25T22:24:57Z","type":"item","id":"Q5145613","labels":{"en":{"language":"en","value":"When reachability meets Grzegorczyk"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299453"}},"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":"Q5145613$854533AE-168F-4D33-93E2-E77C4CE1B239","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dee489bea968cf477f1fb3ef725ce19be9eb3b5d","datavalue":{"value":{"text":"When Reachability Meets Grzegorczyk","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145613$1FE1F315-00F2-4E7A-BC1A-73F45D7C754D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f74a47d1abbc385d841cd085a63412ab29e8cacc","datavalue":{"value":"1506.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145613$893B0469-D319-4D2B-8B6C-F7069F274B29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f5bf2e0c165a9d428c06926c60271e99c0f7729","datavalue":{"value":"10.1145/3373718.3394732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145613$9E2E2A00-0A28-4E00-841B-FBFDDE260534","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f161a480b9c89752015764e13c5bf4e0fcd16fe7","datavalue":{"value":{"entity-type":"item","numeric-id":300415,"id":"Q300415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145613$C615D3D9-4E51-4A60-8F0F-AA478DDAD685","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145613$D06CA7D0-47FF-48E5-9C53-8468CBAB4F64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-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":"Q5145613$0F35415F-D8A5-429D-9F49-5DF71A3154C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145613$85BCC6C7-F7E2-4E50-9270-E1EA437D7238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145613$914C0E40-A5BB-46C9-9C1E-376EA758BBC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71a53c0732c6b09c029ec9d67b635dcb688b3808","datavalue":{"value":"7299453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145613$D4312D55-6441-4E3F-A254-E8A7CB17FC4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82efc667f2235c4198a9ca5628952a75e448b101","datavalue":{"value":"Ackermannian complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145613$0C3F9DFE-FB86-4422-B72A-98CBB386DE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6d03a26b1247abcc543247067285a4ba6c9025","datavalue":{"value":"Grzegorczyk hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145613$F3F84DA8-783F-43D7-A7A1-10C9E392AC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145613$4968966A-A720-4979-B110-E646D358F563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145613$B426AA83-29B5-4773-B5CF-ED851653A64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145613$4C1BE45C-8412-40C3-9EF3-F95054E1E9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145613$707212A1-30C0-44AC-BAB7-9CB9C3843845","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":"Q5145613$03B620B7-FC90-4960-8745-07C530501D7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2b75495640d82baeb404a8c4ac96c7715983663","datavalue":{"value":"https://doi.org/10.1145/3373718.3394732","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145613$1C0A7332-187C-4347-AD36-C40B1C2C468F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4837433832411503cb57835cfa310cd8d4cc7ddb","datavalue":{"value":"W3028690307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145613$F83829CF-8B50-4FF6-BF02-7F2753B71E08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b97a0ffecde032f3cf497744f901e6271492bd","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22825595adcaac74d56cf1c222246ebde83e8ab4","datavalue":{"value":{"amount":"+0.8451623916625977","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":"Q5145613$84459E26-B890-4283-A60D-B80E1CE49946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bebfb55df70a67a39b39483e90948de59f74ca7","datavalue":{"value":{"entity-type":"item","numeric-id":5002821,"id":"Q5002821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71932c367c97104e79e4c60abf7617ee9586214d","datavalue":{"value":{"amount":"+0.8376153707504272","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":"Q5145613$9B15DA67-C44B-415C-8CDA-C10DCB185908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee0849a59a8948bb202b1874f6a0e091d81b40b","datavalue":{"value":{"entity-type":"item","numeric-id":4635789,"id":"Q4635789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa81f281f8ebe3eece303e85f5010388d4960217","datavalue":{"value":{"amount":"+0.8189820051193237","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":"Q5145613$46626BAC-29E9-4871-8B00-5FCF5386C6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6972c9af15409fa0cbb86117818aeb57e819a8cc","datavalue":{"value":{"entity-type":"item","numeric-id":3090839,"id":"Q3090839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3c00610a5dd2eed315da48e02656eb107b92f0","datavalue":{"value":{"amount":"+0.8134111166000366","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":"Q5145613$09CE9BBB-211A-42DA-9C8F-C19E8749AE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d153a80ed2cf60efdfe27a6579acf5d6bbfb2049","datavalue":{"value":{"entity-type":"item","numeric-id":4913768,"id":"Q4913768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b21f7b135a5b8919b6a03a62c96f112738d8ce3","datavalue":{"value":{"amount":"+0.8121971487998962","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":"Q5145613$72908C2D-FF7A-42E9-92D6-C9E2E67FDDC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145613"}}}}}