{"entities":{"Q5866317":{"pageid":7895868,"ns":120,"title":"Item:Q5866317","lastrevid":57599151,"modified":"2026-03-31T13:47:55Z","type":"item","id":"Q5866317","labels":{"en":{"language":"en","value":"LTL-specification of bounded counter machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7589501"}},"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":"Q5866317$936DE26E-9CEA-4026-95E5-8D399539B113","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76a1b6978e69a6d7feb1dd39b2c4cd3025bd96e0","datavalue":{"value":{"text":"LTL-Specification of Bounded Counter Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5866317$16909333-FF3C-447F-AAF4-24B6232AF34A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"266309c6760f11d1c07e44e8a7e4eb23f618ca21","datavalue":{"value":"1497.68313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866317$85A80F92-69A4-4C67-9950-8A7CDEA590B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09efd37d3c9047ea69a19f324599283521d1b2e2","datavalue":{"value":"10.18255/1818-1015-2022-1-44-59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866317$3A2409A3-1DBC-40A0-BE0D-A9CA9FE92C1F","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":"Q5866317$4BABE6E3-8D61-4A0A-AECD-C388C01D95FA","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":"Q5866317$0CB2133D-F30C-4DDE-91FD-AD2CA739D361","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9610eb65351985422b2f79d640ee515b1fce57f8","datavalue":{"value":{"time":"+2022-09-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":"Q5866317$7D47C3F9-5DA6-4056-82FA-6148A59F6248","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa87d192c08ce6bc2e727b881f240d2423899bb8","datavalue":{"value":"http://mathnet.ru/eng/mais766","type":"string"},"datatype":"url"},"type":"statement","id":"Q5866317$496C4B77-F151-406D-BFFE-6143CE27F4B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866317$360061DE-1470-4699-9E8C-40AC951BC262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866317$B7BC61B9-1AB7-49D9-A485-3D9A767D5405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866317$A4D0EFD6-A263-40E4-BC11-9092491DD189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c4d23e479455dfbfef69cdefa2e2eb3970b9f40","datavalue":{"value":"68Q04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866317$E1AE7DE2-71A0-47B6-9A57-8088745E7741","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b123a172f0caa1164f0bb41ed5f6cbe71125b64c","datavalue":{"value":"7589501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866317$B03DC700-AB0B-4CF5-BCE4-4A384DD0C75F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75628edfe18d9271975b72a8a7ded77f899517f2","datavalue":{"value":"nonclassical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866317$2B539929-1CD5-4006-B443-3AB486F26DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866317$ABF0E165-831B-4803-9C7A-3739E7AC9C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4567dfcdca2a16710dfa78fc6c9ca84fdc95530e","datavalue":{"value":"counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866317$27BAA76C-609B-4995-8472-209FDE0993C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a8dd4326dda588bb2ed9854abf89499ba0ddb48","datavalue":{"value":"LTL-specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866317$C0BBCF40-5A96-4E6A-9A04-4F10B9A4D7BC","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":"Q5866317$DE9C3867-5A8B-4949-9C9A-E4F111357209","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b57e226f0b43e411c65ce2cdee43b394c2ba6a89","datavalue":{"value":"W4221102775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866317$6A5225D5-8E00-4911-ADBB-D11B3B13C559","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4545e5bda9ab2c270a177869d6503dcca2889ba0","datavalue":{"value":{"entity-type":"item","numeric-id":5870848,"id":"Q5870848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866317$06C4604A-F447-485D-8593-3CFA8C4EB244","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":"Q5866317$3AA8CED2-6B10-4D31-BB2B-50E056040749","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":"Q5866317$8965043A-83B1-49F3-92F4-E1B80C774B1C","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":"Q5866317$39CA3104-FA4C-4205-87E1-541A5287848B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866317$91C0DDBC-AB3B-4A57-9396-F06E0CD1A427","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":"Q5866317$22002A01-5F51-4466-9DD2-83977718C2A9","rank":"normal"},{"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":"Q5866317$08DD4EE5-EEA9-493C-89AE-1A658C2E5128","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6223bf91c46c04c0011b1fe68d8bb668a4ff7a46","datavalue":{"value":{"entity-type":"item","numeric-id":4907867,"id":"Q4907867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb8815815f98d1ef219e7e43831d5e25f785c910","datavalue":{"value":{"amount":"+0.7621909379959106","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":"Q5866317$8AB85780-2B6D-46C0-9943-FF2A5788C2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e515c8c16ac8ccd191ba7bb0682f9d2abada4ffb","datavalue":{"value":{"entity-type":"item","numeric-id":2996923,"id":"Q2996923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"439c9eb08e1b3ca8515fa3a1c0fcafdda6a230fd","datavalue":{"value":{"amount":"+0.7508231997489929","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":"Q5866317$2F750F4A-353F-413D-BA65-899469D01360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b2c05770b94293fdf980f92f77f319df964931e","datavalue":{"value":{"entity-type":"item","numeric-id":271908,"id":"Q271908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fccf38572b19d31fb8346692e797e4784a7347bd","datavalue":{"value":{"amount":"+0.7497342824935913","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":"Q5866317$14F575B2-4BFB-4AAD-B42A-F011772BA6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b5afbcc5be1c3f3dbaafa789bcd39b84927459a","datavalue":{"value":{"entity-type":"item","numeric-id":3434706,"id":"Q3434706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5545d10f35e36efd66992c568a196a6dd35ebe8a","datavalue":{"value":{"amount":"+0.7452830672264099","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":"Q5866317$36A047F0-404A-44B1-A987-320223983AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba64cf22c8a16766953f084708f06794a5cd904","datavalue":{"value":{"entity-type":"item","numeric-id":1941912,"id":"Q1941912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d1d7be9e1f31025f01db63344e8a214341ecf0","datavalue":{"value":{"amount":"+0.7447339296340942","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":"Q5866317$D70F7ED8-4DC2-4369-93A9-EFB3AB8B4F9B","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":"Q5866317$DBCBDA33-7FFE-4E50-8061-EB16A16C1717","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5866317","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5866317"}}}}}