{"entities":{"Q5870848":{"pageid":7900399,"ns":120,"title":"Item:Q5870848","lastrevid":93261884,"modified":"2026-06-05T04:05:38Z","type":"item","id":"Q5870848","labels":{"en":{"language":"en","value":"LTL-Specification of Counter Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7645047"}},"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":"Q5870848$E1E6A055-0FAB-48C0-AD8B-EB45C173515D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2241145c039f0db944c5f1c95a5f3e729ef6b43","datavalue":{"value":{"text":"LTL-Specification of Counter Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5870848$AD029396-5B51-40E3-9D58-3D17B436D2F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00355f954a1a06e109706738bc205e5413be9957","datavalue":{"value":"10.18255/1818-1015-2021-1-104-119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870848$B49C9A34-9586-44DD-AED5-10E97735FA63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d154f7b7b2cad69c41a322652f76040ad3378cc","datavalue":{"value":{"entity-type":"item","numeric-id":542238,"id":"Q542238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870848$A4316D34-5996-41C3-BFD0-0BB5CDAF1353","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e4ff69d98581f0e60171b74a0d3744b7741d0e6","datavalue":{"value":{"entity-type":"item","numeric-id":5060051,"id":"Q5060051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870848$D9462A7C-0253-4E4B-BA42-C48DB3DAFA7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d36de95218092651053d86e05f8c2ff076590975","datavalue":{"value":{"time":"+2023-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5870848$1DECBFBB-2B46-461A-A024-BAB9A8190232","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b48e426dd381feb8a85a48213fa2e07c8b1f468f","datavalue":{"value":"http://mathnet.ru/eng/mais738","type":"string"},"datatype":"url"},"type":"statement","id":"Q5870848$DEEB7DFB-13E2-49D4-8ACD-88FE93D2772D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870848$EF4AC86B-D24B-4C3B-9006-A295AE0E3AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870848$92D21900-60AD-4210-BA82-1B8392936350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870848$7225BC1F-BB29-4226-9554-5D3BBC54992F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c4d23e479455dfbfef69cdefa2e2eb3970b9f40","datavalue":{"value":"68Q04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870848$7B290BEB-F122-4C1F-8FFB-7058B0DE2A19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1009bbf2715f97f55eaffa826ae3481d87a1f083","datavalue":{"value":"7645047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870848$4E4F9596-FC06-4BC1-AF2F-A85D8A89F47C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75628edfe18d9271975b72a8a7ded77f899517f2","datavalue":{"value":"nonclassical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870848$886B9095-4236-4914-9CDE-F40FE49FB86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870848$FACC6DC1-0A16-47FB-9C44-06B2A1BCD89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4567dfcdca2a16710dfa78fc6c9ca84fdc95530e","datavalue":{"value":"counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870848$8482DB96-0066-4A82-985D-E8CDA5185291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a8dd4326dda588bb2ed9854abf89499ba0ddb48","datavalue":{"value":"LTL-specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870848$76CBD00E-019E-4EF2-BD87-A4C060E4E050","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":"Q5870848$F0B94555-939F-4F51-94A5-B0D33CC4B7B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53595aa16b1608b2fe79858e5dc256402e3bb646","datavalue":{"value":"W3139358735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870848$500CE956-DC1E-44FE-90E0-14C29E8330CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1a66f163a52a95122573ca846cbcd3b5e707a","datavalue":{"value":{"entity-type":"item","numeric-id":3518425,"id":"Q3518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870848$431D50CF-9571-4066-9264-30264D9420EB","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":"Q5870848$6C6F9637-2050-4E55-AF35-B103E0CCE0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153082486e581149f11535d2d857cb5ca3b4b1b0","datavalue":{"value":{"entity-type":"item","numeric-id":5917948,"id":"Q5917948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870848$C575E450-9104-4236-A3F3-46D6EF3C0095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0cd029c398c67c1532df4521edfadf83176883","datavalue":{"value":{"entity-type":"item","numeric-id":3851570,"id":"Q3851570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870848$877478BC-FC95-475B-AF83-32547B317822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870848$87DD1436-068C-4E59-9D70-685A48AA4172","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870848$78B62C9B-F0C0-4E91-BD61-D60DA69A6C3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LTL-Specification of Counter Machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LTL-Specification_of_Counter_Machines"}}}}}