{"entities":{"Q4611376":{"pageid":6640959,"ns":120,"title":"Item:Q4611376","lastrevid":58304154,"modified":"2026-04-04T15:43:48Z","type":"item","id":"Q4611376","labels":{"en":{"language":"en","value":"Model checking flat Freeze LTL on one-counter automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7003191"}},"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":"Q4611376$AC6EA813-D342-4C23-8A82-14EF91461FC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9dd1b3188461f23f0187fd14b1580a64ff63ffb","datavalue":{"value":"1405.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611376$37A02B31-EDB8-46EF-996F-96AF10803C9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80b920a5546a1b73d1e4aa601b7c623c73015016","datavalue":{"value":"10.23638/LMCS-14(4:20)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611376$79EFF252-9F61-4C72-B771-6CD3324B0F75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"095bd0f30e4456adebbda917f5236e32cbdae59a","datavalue":{"value":{"entity-type":"item","numeric-id":1675151,"id":"Q1675151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611376$302422B2-155D-4A7E-8E87-FD53954FE934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611376$C7AA8522-802A-4123-BA9D-9A793413BA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a391655797fb80a8e19ac091f518a0e89e1110a","datavalue":{"value":{"entity-type":"item","numeric-id":264570,"id":"Q264570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611376$8F9E393B-F9CD-44B9-B9A4-BF911C810BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611376$E031910C-C944-4591-9202-C49C98220275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611376$D74FD457-52CD-4F41-A871-3C549D3FB7F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"747197e4015a1deb11c07fd7cd714000206e1f10","datavalue":{"value":{"time":"+2019-01-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":"Q4611376$AA2F8508-BAAD-4B33-AC79-38FF89B572CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be5208d3870b1958209353afc2b903c63e7ba9ae","datavalue":{"value":"https://arxiv.org/abs/1606.02643","type":"string"},"datatype":"url"},"type":"statement","id":"Q4611376$AAA95DAA-79EC-43C8-8761-BE7468DC8D62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611376$81526E6D-DC73-4D66-8F87-B0EE8BC40116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611376$BEE77337-98E3-468A-9C68-2DD93DF6C662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611376$F3161263-9F0C-4C79-9C8A-3CC805AF84CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611376$55437749-FB2F-41FC-B31F-E6B628A79148","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17be34d3514b8343e4d0129f9b3a9716b41b6ebe","datavalue":{"value":"7003191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611376$EB4CDB78-33E9-4E97-8D5C-A9204F581086","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d0376caf85aa1a227286aefd8a6a03d3ee7a698","datavalue":{"value":"one-counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4611376$7DD3D2C0-5EF2-4B7E-99FD-DAE2C7EB8662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"312b20e0bdadbe79998c017c3c0e7582da9f973d","datavalue":{"value":"disequality tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q4611376$281E04E7-35A3-4A98-B623-EFD8FC982988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4611376$DE481BA0-BF73-4BCE-BCB7-74FB0A4EFFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9682333d3d5bdd173273f97e8f1413b6ff6fa89e","datavalue":{"value":"Freeze LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4611376$05B2627F-BF06-4A8A-AED1-21CBB7BD9F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4611376$257C6528-E722-4ADF-80CD-8BE90C475A6D","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":"Q4611376$4F013B36-BD86-4224-B045-FE5E346256AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc469c4b64939fa3213fd5c9dd72bc911bc54d8","datavalue":{"value":{"entity-type":"item","numeric-id":3519496,"id":"Q3519496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611376$B8D68614-93F5-467D-ADDF-C5D72F7EE559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee9246f6d31df8e6ef9a2a4d199037289def53c","datavalue":{"value":{"entity-type":"item","numeric-id":2753678,"id":"Q2753678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611376$AD1C39E0-DF8A-4AF3-A5B9-685CCD893C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd9f617f964b140076535652ec49e453f6eeae6","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611376$E2701BBB-EA8C-4B07-835F-012B8F2B7FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f377a748ee0a448bc0e22cb6ba09ac101b59b17","datavalue":{"value":{"entity-type":"item","numeric-id":868025,"id":"Q868025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611376$5C9B389A-EB70-4914-9556-2C8EA6746E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f03d1a7ee0c4683019f3104f8d1625843e5d7b9a","datavalue":{"value":{"entity-type":"item","numeric-id":974117,"id":"Q974117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611376$584E3050-D64C-48B5-BA39-EBA663D57E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4deea9f256e8069d3dd7f638eb6d88198bc76b","datavalue":{"value":{"entity-type":"item","numeric-id":3557850,"id":"Q3557850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611376$7347BF71-0BCB-4F0C-A633-EA36BDE20A7D","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":"Q4611376$262E337C-FCF3-41BD-8382-FA6A99A1A56D","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":"Q4611376$9F384C1D-00DC-4F13-8EAA-44B0E8029CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6744bcbd69b98e127a086f2b384ec2b564fb3bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4326857,"id":"Q4326857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611376$C78880AC-7D5C-4640-8042-73C02EE8CECC","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":"Q4611376$B977D358-1609-4E89-BC18-1ECE5AABAD2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be8cbf928feffb76cc44ea7b95f610896e92008d","datavalue":{"value":{"entity-type":"item","numeric-id":4608681,"id":"Q4608681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c0f28dd2514c566d28def1e1ec9b158ac4d703c","datavalue":{"value":{"amount":"+0.9988697171211244","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":"Q4611376$C6ACACE3-0BA5-43DE-93E9-49C730A39278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e88d40ab1db699113936b3ebd67840361a8a3a4","datavalue":{"value":{"entity-type":"item","numeric-id":5111647,"id":"Q5111647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17cf06381918c78425bd3592dcae0f8bc49f9341","datavalue":{"value":{"amount":"+0.9142658114433287","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":"Q4611376$824B7B5C-23A5-41B7-804C-4494853D2A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1df37e9cf5b92ba225c505b860d887f9dcd0cae1","datavalue":{"value":{"entity-type":"item","numeric-id":4972731,"id":"Q4972731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e35ec5624fe7307f6b38ed6c11a3887a1b5211","datavalue":{"value":{"amount":"+0.912339985370636","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":"Q4611376$9291AD12-8783-4864-B053-8C30C1E312D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e75e552613afbb24fb2f822c3d51e8039103f331","datavalue":{"value":{"entity-type":"item","numeric-id":5458381,"id":"Q5458381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab931aca3ac32b6acc27f2a06e73f858ebbc9d27","datavalue":{"value":{"amount":"+0.9005314111709595","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":"Q4611376$DBC211A3-E0CD-414C-85F3-E2676B0FD485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7330a355d93008a9d961612dd91e6bf9e88f017a","datavalue":{"value":{"entity-type":"item","numeric-id":3557850,"id":"Q3557850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc9d5247d23da4dd79f9f3888fcf9e57170f2f05","datavalue":{"value":{"amount":"+0.8763821721076965","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":"Q4611376$789C13FF-93BA-4D89-A0A8-92F5229AE0D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4611376","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4611376"}}}}}