{"entities":{"Q2818761":{"pageid":2829499,"ns":120,"title":"Item:Q2818761","lastrevid":83584004,"modified":"2026-05-07T09:08:37Z","type":"item","id":"Q2818761","labels":{"en":{"language":"en","value":"Reasoning about data repetitions with counter systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6625208"}},"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":"Q2818761$B3EBF5AB-6682-4599-A95B-D8C78A7A6AFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c236903fb280049a67c52d3f015ef23c97bf0acd","datavalue":{"value":"1448.68339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818761$D63C9A08-FE09-468E-A8DB-479A7C9B3B56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7bda823e9fb68d5c66c87f3d39aecd2a623b0275","datavalue":{"value":"10.2168/LMCS-12(3:1)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818761$072644A5-166E-4334-A306-B1F7C4F2B702","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818761$ED088344-0B18-4B0B-8A74-7997124EAE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c0e46338d9cf33563ae57333053dcfe22df5cd8","datavalue":{"value":{"entity-type":"item","numeric-id":905681,"id":"Q905681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818761$436805CE-D76D-42E4-8ED9-0CC2F088F7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36974ca48c1ff3caa1463aa00972066da924c035","datavalue":{"value":{"entity-type":"item","numeric-id":1949743,"id":"Q1949743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818761$39E8A05F-2BBC-48F7-AED0-F655202FEA80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818761$E62DFDE0-634B-4EA2-83F2-E605B1EBB22F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1398446e81c766fea8415c7529396770d3548ab5","datavalue":{"value":{"time":"+2016-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2818761$23165D61-6424-4EFA-9FBA-39E43694076D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818761$BB5CE988-C588-445F-9698-BD8B1108A23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818761$EB8E3E22-42EA-4A89-A3B2-124410694765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818761$D7E35F6E-13BE-496A-9148-9C731798E0A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d5bab4502ddd6d002c47cbe123028c68e0c004d","datavalue":{"value":"6625208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818761$5B08B930-C7F1-4456-924F-A1AB91B2EC66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a517dcb95f2662c7bb92328ffccad7c435b3b1a0","datavalue":{"value":"data-word","type":"string"},"datatype":"string"},"type":"statement","id":"Q2818761$33E56828-F5B1-4052-9071-72319905BCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55dab19b9bb952aada92e638990e309d00d300f2","datavalue":{"value":"counter systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2818761$50F17342-7BBE-4512-ADDB-7C7ADF744447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2818761$993F4499-20D1-4194-A42F-49E3597C4135","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":"Q2818761$9FFC676B-94CD-4100-83F9-ED270A4742EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"071e397ebb66e08e758e37ee4f84ceab6f28505c","datavalue":{"value":{"text":"Reasoning about data repetitions with counter systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2818761$E3ABC466-7193-4CAA-86C5-1D48A995BB1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d069c880fc899737990e54edb1031bd0868e50e7","datavalue":{"value":{"entity-type":"item","numeric-id":5271038,"id":"Q5271038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d8f81ae714dd6f7a918513eae782eb5e862dba","datavalue":{"value":{"amount":"+0.9996187090873718","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":"Q2818761$487D9093-DBC9-4BA8-8068-7DE0899ACE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94bf1077696898a083dacfc75d371f8fdc89404e","datavalue":{"value":{"entity-type":"item","numeric-id":3165752,"id":"Q3165752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfcae6bc25b1db9694805eb3815ceea7fc0abd8d","datavalue":{"value":{"amount":"+0.7844375371932983","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":"Q2818761$FD3F3852-D44A-4DED-9572-7A07F569779A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a5df446d8fb93a32e63b540a3296245c388048a","datavalue":{"value":{"entity-type":"item","numeric-id":2988368,"id":"Q2988368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b09d17641afdaf1297a53d686b623a4f9ef07a","datavalue":{"value":{"amount":"+0.7815840840339661","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":"Q2818761$24532F56-12B4-4FBE-BECB-C04DD918A7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4524a6d99869235f2d3a92e9a944d04a15fd4b7e","datavalue":{"value":{"entity-type":"item","numeric-id":2908879,"id":"Q2908879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745bab99e35b287268e4fa5e8028dc296d2610ba","datavalue":{"value":{"amount":"+0.7672618627548218","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":"Q2818761$53EE6B19-6BCA-4664-8EB7-391EA312FEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"389c0ea34ba4bf23842571849fba71019b311171","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647437a7068b68a41f3a66994564f5376bd493bc","datavalue":{"value":{"amount":"+0.7622843384742737","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":"Q2818761$B0BC6FA7-5ED1-41B5-95A6-81A7FE9DCAA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about data repetitions with counter systems","badges":[]}}}}}