{"entities":{"Q5216144":{"pageid":7245714,"ns":120,"title":"Item:Q5216144","lastrevid":41762662,"modified":"2025-05-08T01:53:01Z","type":"item","id":"Q5216144","labels":{"en":{"language":"en","value":"MTL and TPTL for One-Counter Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7167736"}},"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":"Q5216144$40C33DF2-EDAA-4DE3-BD41-B6C4E31D423F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3238e4810a6a5cf8cbdfb192929cbcd5a28b3550","datavalue":{"value":{"text":"MTL and TPTL for One-Counter Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5216144$B7205142-4CAD-48DC-AC87-3678C1BA97B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9f8820f4153a31efcf5ead962ae8a645c487f97","datavalue":{"value":"1433.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216144$F3C92084-DFCF-4892-A08D-F100DF1065F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69573e94bcd4d24ee6eb95b5680e0b96baea9c62","datavalue":{"value":"10.1145/3372789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216144$D3580E8C-4ABA-4BE1-97AC-5820F1D5D96B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff14b2229f33735cab555903b1ee721898ea9a2a","datavalue":{"value":{"entity-type":"item","numeric-id":2102775,"id":"Q2102775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216144$65001E89-33DE-466F-83A3-864B7DB9D55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0304269a52369b78f1d53e7a704975278af2eeb","datavalue":{"value":{"entity-type":"item","numeric-id":269501,"id":"Q269501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216144$2394200D-100A-4EF2-B9E0-BB8AF6FE79D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbc9194fbe73077005431203a553743fd429dcae","datavalue":{"value":{"entity-type":"item","numeric-id":831923,"id":"Q831923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216144$C4B12562-58AF-4D1A-A414-D25BAB0AD08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ac1f415631a4eb910cb7254df99f703f97084f4","datavalue":{"value":{"entity-type":"item","numeric-id":548691,"id":"Q548691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216144$9D1EC3CF-35FC-4B5D-9E61-1F455DA30948","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216144$32254517-951F-4210-AE28-351A350FF66A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b35024051bbc5cca042bf1b78be69bcce3c6e02d","datavalue":{"value":{"time":"+2020-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5216144$EBE0F4FF-92CB-482E-BB2A-75B0438DD1A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216144$8463D6C3-180D-4492-B3A3-5727180C4F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216144$BA332001-AF33-40AA-9414-0C759A42EFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216144$7BF732C0-9774-483A-B968-7C4236CDE706","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c33c01a273d3dfae497d78a09ead22e7a590d6cd","datavalue":{"value":"7167736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216144$5A00AFE6-9548-4063-A816-A36C64A00987","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45e72898ab5ef3149ddc99da95e7adb07eff4","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216144$38301826-8651-4A00-B392-8E30F7DFB689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9682333d3d5bdd173273f97e8f1413b6ff6fa89e","datavalue":{"value":"Freeze LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216144$811AD532-F13C-4E12-A48A-9339EBCD4CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"078cb84eb7b21829df0917923ba1b8277a3e775e","datavalue":{"value":"one-counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216144$E568DCAB-5DFB-4568-97C8-EF2543FE9AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aca14de8ab07e636788ee3f779a206e4d81d434","datavalue":{"value":"data words","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216144$BF6F1FA2-680C-4B85-82C1-6F6DCB25FDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216144$8CAB7CC9-C773-4184-8EC9-45197811FFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"328bdfb4b743c11f043569728f538743cae3b7bb","datavalue":{"value":"timed propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216144$4B42B8D2-76E1-4494-8170-8608EAA71DC5","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":"Q5216144$DC51D454-9FB9-492C-BB3B-8A4B1FC2DCF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30d02c25d33da52b6749df733c2551698b0affda","datavalue":{"value":"https://doi.org/10.1145/3372789","type":"string"},"datatype":"url"},"type":"statement","id":"Q5216144$F9F42BE6-17AB-4A42-BCAE-FA0BD863634E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9aa67e0b991b9bad9275563df9af967b69d41437","datavalue":{"value":"W2995528133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216144$34F08853-E2AC-4CD4-9A85-D141CCAFF998","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"05ddbba1af347918d3d9e1cfb66022db9e8a3b85","datavalue":{"value":"Q130896556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216144$5BD2808D-37F8-4230-93F4-D533281B138C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8942904f6c464f3014d26e638cf62cfdcb7af57","datavalue":{"value":{"entity-type":"item","numeric-id":3587469,"id":"Q3587469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cccfe6fea2f75c0c98d7941cb04016248b1ab3b","datavalue":{"value":{"amount":"+0.8765173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216144$EEEDEA1A-4984-4319-9E45-00C765876489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59888d4d4c960f54c06ebe0b8a8251245aef7b66","datavalue":{"value":{"entity-type":"item","numeric-id":5897789,"id":"Q5897789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba64477586d8d669ce09421b7b58e7145a458cfc","datavalue":{"value":{"amount":"+0.8763031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216144$3C13C37E-97CD-4B05-97B5-3E4969378F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c758f36686adc3ba455200ad597c55218777c922","datavalue":{"value":{"entity-type":"item","numeric-id":4910485,"id":"Q4910485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09dcfaa3a99c370da2daa8b36fbf112ca57743df","datavalue":{"value":{"amount":"+0.8742669","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216144$4EE309F0-7A0F-40C6-A121-640FC0012474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d60e2c9544f0737d704ecf263d6583bff4381c8","datavalue":{"value":{"entity-type":"item","numeric-id":974117,"id":"Q974117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"538e59ed90f9b3ebe919402a69ee369af2b20c2e","datavalue":{"value":{"amount":"+0.8703048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216144$A21E4E66-6720-4A4B-A7F3-F9E9B6FEA10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae3439238dce07549040208ac17f289271ed86d","datavalue":{"value":{"entity-type":"item","numeric-id":3460579,"id":"Q3460579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082f93b3ee9b664e35d919ddc0c5f7fe396ef6af","datavalue":{"value":{"amount":"+0.8694213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216144$8A3C0663-89FA-4809-ADA1-31EE98E21557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a56b8265a1b2cb8348a47793b4a36e0a732272","datavalue":{"value":{"entity-type":"item","numeric-id":1887159,"id":"Q1887159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f6adddac06bdfbbc3b5cdcd9ae7a6462ea378d","datavalue":{"value":{"amount":"+0.86526054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216144$FD08EE5D-D871-4834-AEAB-5B766C326FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1de0c316deb32c9629ab400a727664c3a556b77","datavalue":{"value":{"entity-type":"item","numeric-id":4994958,"id":"Q4994958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb1ef2e8b5a0575ef5cefbcb226618758cb75989","datavalue":{"value":{"amount":"+0.8646783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216144$1B076207-8F29-4B55-BA12-A2544253A8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e3154473ec0f208f1e36114b899dc409ab56b50","datavalue":{"value":{"entity-type":"item","numeric-id":4928501,"id":"Q4928501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03d87f7212e6bb5a61f465632748ef16768ded8f","datavalue":{"value":{"amount":"+0.8627949","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216144$23BB87EB-4F37-4919-9E26-FCD889A2BC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddc20864883de484db857e5dedb53b20e6fc2fe","datavalue":{"value":{"entity-type":"item","numeric-id":3644768,"id":"Q3644768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e3a2381e8f982f06f6eb8f09413647977af4e58","datavalue":{"value":{"amount":"+0.85844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216144$1B4AE4E7-F589-41A0-AC74-A57EC2A99299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"762cc99b7320bd391a07739fc9af99c14ba43827","datavalue":{"value":{"entity-type":"item","numeric-id":6487556,"id":"Q6487556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe1f220c2e93a1b7e29869ccd5ba266691f2ec31","datavalue":{"value":{"amount":"+0.8508572","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216144$DE3023EE-B43A-4527-BEC8-8E9E77198355","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5216144","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5216144"}}}}}