{"entities":{"Q5089304":{"pageid":7118880,"ns":120,"title":"Item:Q5089304","lastrevid":39527786,"modified":"2024-12-30T14:52:56Z","type":"item","id":"Q5089304","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559493"}},"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":"Q5089304$CE0A5434-8578-47FD-816D-3E4B53611BDA","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":"Q5089304$8080081B-C457-415A-8A38-AC4E7B0DC60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4744499443df964c09fc7ab48131ab29ebe0d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1401923,"id":"Q1401923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$60596357-91B6-4A68-9752-C4EF06F9939A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089304$EBE81743-696D-4BF5-827F-41D5FB44BC60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96f37dd72e54b5c2de31bf5babfa93d465783771","datavalue":{"value":"https://arxiv.org/abs/2007.09096","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089304$D7FE29A2-C951-4C5E-9B96-518C48F79BF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089304$3AF08B23-7ADE-4A17-92CC-3FDD2C935560","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be464b27dede7017f5212fa0a703b05bbf44db11","datavalue":{"value":"7559493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089304$E3EAE6A0-9EDF-479A-8E56-EFF59A4FBD19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd5810e09eb9d045d853e6d3a83c77489d2c8b0a","datavalue":{"value":"counter machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089304$9DFFBF5B-5AD9-4A84-9B51-4A9C96CBBC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c527edd80ae7c8ccdc315537792fc2dcce1890cc","datavalue":{"value":"vector addition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089304$AD3A82A4-0EC1-4031-9819-754A41F4EAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089304$45A2DFA7-9556-4D1E-A0B1-380A878577EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089304$86EB7445-95E3-4661-96D5-21BFB4360A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b0be45dcf28f014d73413c8c1b0a2751733f815","datavalue":{"value":"infinite-state system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089304$366AFFC0-0BE2-4481-B103-F77FD0AD2D46","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":"Q5089304$5227DC1E-BCC5-4D94-B6B9-E7F37023110F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85b0da3cac5772f8e892252233fb7ed0775e720","datavalue":{"value":{"entity-type":"item","numeric-id":4635789,"id":"Q4635789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$73D0BC84-7B4F-4576-A01E-F11A1838C0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b700b25c7efe122ffb832060352d677e3fd6dc","datavalue":{"value":{"entity-type":"item","numeric-id":3088035,"id":"Q3088035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$C7B66A32-4255-4993-B93F-1B6461229AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70096fdbda2ed053b74fe1b99e5ad7b156077181","datavalue":{"value":{"entity-type":"item","numeric-id":4005084,"id":"Q4005084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$D21CAA3B-A069-408E-98B4-661E13F63B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64bea33521ecdb5b888af5771509d9c6124d3eea","datavalue":{"value":{"entity-type":"item","numeric-id":5212744,"id":"Q5212744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$CE2487BC-2267-4951-8136-9F3283AA9995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f210a0e781d8fbdc8886b756b65d1579ce88d16","datavalue":{"value":{"entity-type":"item","numeric-id":5092425,"id":"Q5092425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$B1AB746E-9861-4A33-8CB3-9698409CF6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4151990484c8fe92e6fd42407c1c6d4e5df6ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4219024,"id":"Q4219024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$94E65E4A-C2B1-45B3-BE28-F4F8E83424A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"887cc1981494dacca42406e45618b1594b674d52","datavalue":{"value":{"entity-type":"item","numeric-id":4635905,"id":"Q4635905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$ACD88A38-FFF8-403C-BDFF-1ADE06601F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2557de950871aba3cd786a2779ef86703e6c99f","datavalue":{"value":{"entity-type":"item","numeric-id":2347796,"id":"Q2347796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$AA0F05D5-9B69-498D-8140-DFD643570133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b20294c167c0e34b0f0465d6e0ce632267e27f5","datavalue":{"value":{"entity-type":"item","numeric-id":5090970,"id":"Q5090970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$473B1097-C5D9-4094-A48C-98733502F7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a521f54a7c14150a5df9a9e9f1892234d1fe0bb","datavalue":{"value":{"entity-type":"item","numeric-id":3184686,"id":"Q3184686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$F71FB225-22EC-48B0-A26B-70C71B48B32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08663cfc9ad28dad7443bdb814e24552eb8a9051","datavalue":{"value":{"entity-type":"item","numeric-id":1155361,"id":"Q1155361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$B8B2BA82-B184-4855-A26F-64C803B2184A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c772d2703f22bd12636c05a8bf424fb4fb7392bd","datavalue":{"value":{"entity-type":"item","numeric-id":1193891,"id":"Q1193891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$980B0645-03F6-41B5-AD5F-1B011C44A3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"157f4a38f5fbd0bb9973a4cc0d39ee81627218b8","datavalue":{"value":{"entity-type":"item","numeric-id":1838045,"id":"Q1838045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$E600D393-F5B2-497D-9EDC-F1B1241A0D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00417656310bd7195584e5e2ed711b4b31e012cb","datavalue":{"value":{"entity-type":"item","numeric-id":2786139,"id":"Q2786139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$00F0CBE5-66FE-4E49-901A-68790F49DDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd9c416b4622f9f802ca77cd3c3fb7dfb39222b","datavalue":{"value":{"entity-type":"item","numeric-id":5408552,"id":"Q5408552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$8180DB3A-1E4A-4F33-BFC2-70773D3887E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f317985b3380a3c2e7c5ee71bf31263870b10a","datavalue":{"value":{"entity-type":"item","numeric-id":5311488,"id":"Q5311488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$F52B5B87-9072-466A-8242-E82A8807B1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a29614989836674f45bb886f19d75545ab86967","datavalue":{"value":{"entity-type":"item","numeric-id":5491889,"id":"Q5491889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$8B69448A-5C2C-48DB-BF8D-79863BF46E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de3be818606f1407ea3f09559189b5d37bf28a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3449486,"id":"Q3449486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$9B0ADBC3-3413-4FFA-8996-01352D710AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$8360C3F6-9869-462B-9A2B-880A9DF457C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$2DA0D660-73C1-4421-B672-B5E7F280A3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22181873dfbb996a0b605daf51c75714bfc3ef9e","datavalue":{"value":{"entity-type":"item","numeric-id":5055757,"id":"Q5055757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$2108F1D4-B90D-4665-B2F7-44EC0ADB3F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7d7dc538448798d6a394d1f6aa8ca50196bbe2","datavalue":{"value":{"entity-type":"item","numeric-id":4982097,"id":"Q4982097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$31C10CE7-6945-445F-A21C-C8B3AEDD3AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3feebf644fbf5979d96664f07d862fbfe8cc287c","datavalue":{"value":{"entity-type":"item","numeric-id":3586117,"id":"Q3586117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$2A15E288-9890-4149-9950-E940F4C5A951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"202fa537549d862287e8c72112377f480beedfed","datavalue":{"value":{"entity-type":"item","numeric-id":1218272,"id":"Q1218272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089304$671D581D-6881-45AB-8216-150E85204DA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf670812cb01ff4e507e27c3cdc42f5661de4401","datavalue":{"value":"10.4230/LIPICS.CONCUR.2020.37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089304$B6C2D4C6-B44C-4FAC-AD4E-FCD22AF9482A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089304"}}}}}