{"entities":{"Q2327515":{"pageid":2338258,"ns":120,"title":"Item:Q2327515","lastrevid":55370107,"modified":"2026-02-17T14:42:53Z","type":"item","id":"Q2327515","labels":{"en":{"language":"en","value":"First-order vs. second-order encodings for \\textsc{ltl}\\(_f\\)-to-automata translation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7117308"}},"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":"Q2327515$5B79DE7E-E9E3-4F08-BF3B-FD400108A90F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91ba9cf4e696d0e7af393f3d27f0469b12ac5f59","datavalue":{"value":{"text":"First-order vs. second-order encodings for \\textsc{ltl}\\(_f\\)-to-automata translation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2327515$EEB8F4A4-AC3D-4F5F-8369-5471ACA6C171","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4888c973db1301547fde9b23a0d4120271ff963b","datavalue":{"value":"10.1007/978-3-030-14812-6_43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327515$67734A51-D3E6-411C-8FB7-33358CDD38D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6a536585d62e38c74bed12e5dc7618ea16138bc","datavalue":{"value":{"entity-type":"item","numeric-id":1707339,"id":"Q1707339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2327515$EE6E6EE3-F8FE-48F9-B92D-473E90B3A809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f8b1a64d507a032cda525aa6a0e7593e342c9a4","datavalue":{"value":{"entity-type":"item","numeric-id":1707340,"id":"Q1707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2327515$9FE5D7A5-E006-45CE-B150-63A8110692A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2327515$3E853111-E518-467B-8EC6-81C3B10BC444","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6af8e8ae571bb90e24604b5b88dcdf45f6924eb2","datavalue":{"value":{"time":"+2019-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2327515$2551A3C2-FB52-47A9-8FB3-59051CB24A7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf738f0fe87dc954fa6cce8d8e93beb7d5d284f5","datavalue":{"value":"https://arxiv.org/abs/1901.06108","type":"string"},"datatype":"url"},"type":"statement","id":"Q2327515$FB9B8CFD-D49F-4D29-B764-736DB6C5CBF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327515$DD0CA177-1981-4AC7-9A2F-4BE4BB33CDCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef1906abb841e06c33bc4c307b20ce64377dcfd4","datavalue":{"value":"7117308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327515$EC1C7853-C554-4EDC-A1DD-9532A55DE969","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":"Q2327515$A1AAC131-5B8A-4641-BEB7-5133BC35D858","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7956b4bd5ce779440f41e7c086c7c3b9bac2c5a9","datavalue":{"value":"W2937989860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327515$FFDB0C57-6640-4017-BA58-68090E0AD966","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a392e247427438813094382c7455a5e963510ec","datavalue":{"value":{"entity-type":"item","numeric-id":6181926,"id":"Q6181926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be63e045362cde320c276661bd2a1b7600402de2","datavalue":{"value":{"amount":"+0.7554768919944763","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":"Q2327515$035C037B-8DB2-42B1-96AE-AD83225D9E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d4b7a755b12582c977069a80b77d13fac10fc8","datavalue":{"value":{"entity-type":"item","numeric-id":5166674,"id":"Q5166674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbd5415094d8885c53156329c1f3f7ae2df870bb","datavalue":{"value":{"amount":"+0.7509687542915344","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":"Q2327515$1A9ED296-3041-4A04-8E94-D44DD2CAF158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991c13c38e3008a6f3176552cb5d7af880831a5a","datavalue":{"value":{"entity-type":"item","numeric-id":2026563,"id":"Q2026563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6edd38efc9ab31399787166e8fa63376f6a21521","datavalue":{"value":{"amount":"+0.7442100048065186","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":"Q2327515$E80B14E3-D640-475B-B8D8-C6588A1728CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712e12cffe3c9c9d8e20159d4c25f1635b0ff15c","datavalue":{"value":{"entity-type":"item","numeric-id":5056447,"id":"Q5056447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce52396e1d18ee536059a7444f3334807e7345f6","datavalue":{"value":{"amount":"+0.7399700284004211","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":"Q2327515$07FAF1D7-6427-4701-A0E5-1132305854DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc46a3873de73c896dad3f48b557df241d2d816","datavalue":{"value":{"entity-type":"item","numeric-id":5452723,"id":"Q5452723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"021851c835665d1e57581f8725c3c2042f0a273c","datavalue":{"value":{"amount":"+0.7395713925361633","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":"Q2327515$E34099BF-0395-4437-88B6-81A90CCEE586","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2327515","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2327515"}}}}}