{"entities":{"Q3656780":{"pageid":5686686,"ns":120,"title":"Item:Q3656780","lastrevid":50876249,"modified":"2026-01-15T13:16:19Z","type":"item","id":"Q3656780","labels":{"en":{"language":"en","value":"The effects of bounding syntactic resources on Presburger LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5658019"}},"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":"Q3656780$85A10C9A-5242-4A3E-A54D-39B2BB3D839A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa8152d4c20d33de1953ab3e392988697859bffd","datavalue":{"value":{"text":"The Effects of Bounding Syntactic Resources on Presburger LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3656780$5A5A0A83-2E4B-4CFA-95EE-FB41735C7AE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a351b6126e4b0b5905b8b53e5e94a096382518c","datavalue":{"value":"1193.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656780$2937ED41-08D2-4CAF-8EEC-8E017A0F39FA","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":"Q3656780$D3421E18-489F-44C0-A9E2-FE0EDB1C5636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"defaa9722ed685881201449323233883dc7eb901","datavalue":{"value":{"entity-type":"item","numeric-id":959819,"id":"Q959819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656780$55E9CE75-4B0D-4018-B418-A0466CE9B395","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d7ae205d063227bc6a8fe4b8cec53b398b20968","datavalue":{"value":{"time":"+2010-01-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":"Q3656780$F04940F3-9610-4B0A-BC34-8DD695629057","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656780$D44FEBFD-D43F-493C-A30F-F44DCEA3854A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656780$5E38CDE0-6D31-432D-BC90-ACBCB04EF41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656780$4FE0E758-7BE6-44DD-802B-3C03CDF6CA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656780$E270071B-52C9-4F0F-A51F-BA8BA1405C4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94c9944926eb3e9b336898b08a8180befdd56ede","datavalue":{"value":"5658019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656780$FC8B8EF2-A69E-4B8B-9463-1D582318554F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8655b9be840caa9be702e31cd5e062f5735bc60a","datavalue":{"value":"linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656780$D494F160-DB45-4777-BF72-6195BD8D2303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656780$D054B98E-C9F6-41F9-B1C9-5E04F8C91D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5e8ee6d6c130ba687d9b7eb1c058acea995f4c2","datavalue":{"value":"B\u00fcchi automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656780$AAF732EF-A80C-42F4-BA2D-063A557366D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d218966f8c4a713b6002e8cc7cd977cb6338d264","datavalue":{"value":"one-counter automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656780$2F9AD319-6C14-4BE3-BE23-B16D138DCD65","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":"Q3656780$0DA4BC24-E63C-4F01-B4E8-2A185F8155B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efd49d2f84c55f4a4ed4b6dc9bf86175b3ebecfa","datavalue":{"value":"https://doi.org/10.1093/logcom/exp037","type":"string"},"datatype":"url"},"type":"statement","id":"Q3656780$3A90C208-781E-4731-BBE0-122B6596236C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a7a2b16ea230356cf2ed3f4cb526a58445c0d34","datavalue":{"value":"W2167135424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656780$53218E75-95EC-498C-86AC-EE4339197B1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffc7e390fd02e2cc31fbeeea41b82118fef8fc63","datavalue":{"value":"10.1093/LOGCOM/EXP037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656780$52315485-A743-4A0B-9C85-7CC3D252DF82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656780$E7160912-3DE6-4B0D-B04A-90CFA9F13306","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b60cc2292f3f6897bcdcf481e097734ffa100a6","datavalue":{"value":{"entity-type":"item","numeric-id":5387893,"id":"Q5387893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f33f6f0fd20e1e4696ba43e2372fd31bc03788","datavalue":{"value":{"amount":"+0.8201388120651245","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":"Q3656780$0710C0D6-1B84-4682-962B-4920616121C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4355423a76cd224f33b1ba7bf7f637f7b4746087","datavalue":{"value":{"entity-type":"item","numeric-id":3647243,"id":"Q3647243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0906f405b179ac290e3d2f536a8c0855711bb100","datavalue":{"value":{"amount":"+0.8152527213096619","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":"Q3656780$AF926E24-76BE-49A1-934A-11561E9A974C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b232b0c6858756f2d4c0c3d4d97129ff5e42078a","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd7dca55730165b225c0661f1391f63308dc20db","datavalue":{"value":{"amount":"+0.8056301474571228","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":"Q3656780$72BE7FE5-BCE5-438D-A288-847C26EF218C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f4010920bd191f8a291c27d1d67c30e4dc1c69","datavalue":{"value":{"entity-type":"item","numeric-id":4415249,"id":"Q4415249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d184071bb8559f313eb6cc8907d0dd94863323a6","datavalue":{"value":{"amount":"+0.8012198209762573","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":"Q3656780$5DD601CE-D6F3-4B03-BCD5-E2CB98EC07E4","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":"cbb138903e4b82a0fd17004da8a5cc1c7749903c","datavalue":{"value":{"amount":"+0.8008938431739807","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":"Q3656780$EAF39346-53DC-4309-9355-4FDD396E8AE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3656780","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3656780"}}}}}