{"entities":{"Q2026563":{"pageid":2037305,"ns":120,"title":"Item:Q2026563","lastrevid":54003515,"modified":"2026-01-26T01:48:35Z","type":"item","id":"Q2026563","labels":{"en":{"language":"en","value":"\\textsc{LtlNfBa}: making LTL translation more practical"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7349926"}},"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":"Q2026563$0C35EB70-8C37-47D8-8B63-9B855487C51D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"619f0be04709314d1f701ff138f668fc548a9a22","datavalue":{"value":{"text":"\\textsc{LtlNfBa}: making LTL translation more practical","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2026563$57510FCC-41E6-46B3-943C-AB5241E5E162","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acbf3b381d05b8c75e1b76540fcbfadb0a3ae27e","datavalue":{"value":"1461.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026563$ED65EE04-DDA8-40C5-8CE3-5F52C9850DD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e722243efa8f91cf5421afe3e2219a6520abdaca","datavalue":{"value":"10.1007/978-3-319-31220-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026563$CF6CDC22-2D39-40A4-AB60-1A133F76BCBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026563$FED2DC7C-21F2-437A-BA32-D3C7E86956A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c6eb6b2208439643543e296046c2c324de1216c","datavalue":{"value":{"entity-type":"item","numeric-id":332141,"id":"Q332141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026563$015B4E41-FF38-48CA-A7E1-D17A1EE51550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026563$79054E3E-FC48-4AC2-9609-4C361D552578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1487931fa9e8dc97b8ffc3d134e2897f9a23d590","datavalue":{"value":{"entity-type":"item","numeric-id":2026562,"id":"Q2026562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026563$CCCDAD0E-CBAC-43AF-BB1C-1425ADC139A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"211031a52806337129a1eef00df007a6622a5387","datavalue":{"value":{"time":"+2021-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2026563$8396A8AB-D949-40B0-AB4E-76AFD2EDEF95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026563$FF9AD567-D6C0-4C36-8DEA-FC564908631C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026563$105E1260-56E4-4319-8029-E2BDE852090D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026563$89AE5A7C-5209-4E58-9A50-B39D0D2EA57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026563$3F237DA5-01FD-474E-970E-2BB439D8A26A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"448669233e2eb017fcfa90a396127996322ac1ba","datavalue":{"value":"7349926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026563$88F4D03B-723E-48F8-9305-5A40560582E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026563$4161D083-9E4D-4583-8127-560D5DA64ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026563$77071FC7-3D17-4C1A-A2D5-FF13B512711E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"165d3ae83b2f75ae80ee7c674f6cebcb19abfa19","datavalue":{"value":"generalized B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026563$8F3AE3A1-9426-4FAC-9BC4-6E35FA3247BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026563$FE146D98-C07C-427E-A266-CD5BDA60232C","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":"Q2026563$63A1CEC4-BD3C-45BD-8EE5-6A2D9E3A8BD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e09f3e1e829ab4f9a96341e633bd5afe29169cf","datavalue":{"value":"https://doi.org/10.1007/978-3-319-31220-0_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2026563$5EED54FA-EA67-49F9-89BD-77AE68293C9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"673fe7fb33b67ff0ae899910c4c1adf925d3cbd2","datavalue":{"value":"W2470249817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026563$4C8B8176-761F-4C6A-8CFC-CD9F806C6EA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aea161b8c3619543c5366b4985739b079dbf0cb","datavalue":{"value":{"entity-type":"item","numeric-id":2894268,"id":"Q2894268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5972af44fde12b63a847e3034b4122f6907996ea","datavalue":{"value":{"amount":"+0.8906152248382568","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":"Q2026563$E7789431-8C94-490E-8F1E-2EEBEBDC1F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ceee7cb320da2a0165c0827f8cb7a6d187aa514","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca35d2853d10743f98c6c4bea8f73c06f339a1d2","datavalue":{"value":{"amount":"+0.8756972551345825","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":"Q2026563$346791E9-6679-4167-9D01-0BAA5032B0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb70ba16bd71b8107df9717f691a73dff6444ad2","datavalue":{"value":{"entity-type":"item","numeric-id":2883118,"id":"Q2883118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca0e4e0c2caf8c40dba393aeb97be5f655a73907","datavalue":{"value":{"amount":"+0.8730520606040955","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":"Q2026563$E89275CD-1171-4B00-8DFD-CDB603754AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ff5c5704d7c393a836969185b008981f867e13","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b2f6fc667fbff86ee4735f397ded0d1bccc6e3","datavalue":{"value":{"amount":"+0.8399208784103394","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":"Q2026563$C63E07B2-35B2-4186-BCA3-EDA8EA6D416E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc9aea1b951655a49141d76560061ff598a3106b","datavalue":{"value":{"entity-type":"item","numeric-id":1633083,"id":"Q1633083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff62cd511aac73fc04f56eea55c58046ed01e61","datavalue":{"value":{"amount":"+0.835735559463501","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":"Q2026563$0AD9D794-9D02-4DED-ADA4-02C6CB1A37CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2026563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2026563"}}}}}