{"entities":{"Q4649288":{"pageid":6678869,"ns":120,"title":"Item:Q4649288","lastrevid":51600890,"modified":"2026-01-19T00:38:31Z","type":"item","id":"Q4649288","labels":{"en":{"language":"en","value":"Rabinizer: small deterministic automata for \\({\\mathrm{LTL}(\\mathrm{F},\\mathrm{G})}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109360"}},"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":"Q4649288$68431C12-B932-4FDF-B9F3-AFCF1572154C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b68cc51dd95d05d4b4503d2a970d4aa37007c551","datavalue":{"value":{"text":"Rabinizer: Small Deterministic Automata for LTL(F,G)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649288$FF59EA69-0BDC-4263-81B5-936CC2B4C127","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b49b87221af9b94dc38cfb9e3cb2b57863a98c1a","datavalue":{"value":"1374.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649288$E2A438E0-6C9C-46B3-BD54-1877FE50EA51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a82af70e556f7a0a175ab91500fb2be0f0711000","datavalue":{"value":"10.1007/978-3-642-33386-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649288$E91C5384-7C6A-44D4-AEAD-570E200F06E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25afba22575841506b1ea64b260aee1a42f34579","datavalue":{"value":{"entity-type":"item","numeric-id":396600,"id":"Q396600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649288$B5724DAD-42E5-4180-A34E-C6B79B815027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4018f669876a5819cf16362b14fc078dbd59d6","datavalue":{"value":{"entity-type":"item","numeric-id":690503,"id":"Q690503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649288$620488E1-ABA0-4B83-82C3-6A8C8614C207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649288$975D57A5-189A-4DE7-A0A8-F9DB3EF226E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649288$BD33BAAE-A55F-4578-9737-427874CA749A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009d073aaba8149d93f34c88135fe65aadf514ad","datavalue":{"value":{"time":"+2012-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649288$2A7E6141-C9A4-43E3-9D84-A8B27297B8C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649288$E3B36932-8A94-4E08-A487-6AFCC72CE5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649288$D87116D8-3FEA-4554-BFD0-2D8001CCFBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649288$6856235B-2D57-463D-A812-A271E6CA5760","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb582638055f0c64a4461ab21b702e376fc2d6e5","datavalue":{"value":"6109360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649288$CB7AEFDE-1F4A-4C9D-8D83-7F9330A6923B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649288$5D3B1983-B978-4501-B655-749D56696307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36775e519793d9171689cd087c9a00c3267ecefa","datavalue":{"value":{"entity-type":"item","numeric-id":21794,"id":"Q21794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649288$7F9D3369-2320-42EA-B9E0-CE0B6A623F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649288$1F548FA2-8D37-4872-8B12-2BDFDB482578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"903da5065a18d776ce0691c1512c1933242692c1","datavalue":{"value":{"entity-type":"item","numeric-id":32820,"id":"Q32820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649288$E4AC241B-640E-472B-A516-CFC4209D537B","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":"Q4649288$8ACD67B8-2AFA-4D94-B8BF-C0417098CF5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed452c2b8e81ff2b1e9daec8360d83c56634d9f4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33386-6_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649288$1638DED3-3DAF-44B4-8E73-812A79F346B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72ed4b99de31e8abcc92d0b80b5f7954599484d5","datavalue":{"value":"W2293285880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649288$8887D781-59E5-4548-9355-B1234D9E48F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05fcd43bb3094c45b299e8d4a06b318b857b5ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5166706,"id":"Q5166706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69848ddd4309cffea8da263f586b4ce7f0cb16f9","datavalue":{"value":{"amount":"+0.9042850732803344","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":"Q4649288$57BDCDF4-B701-46BB-8954-2835D4CF6D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c573938e85c0b2ca81197b627607f48161f8c4","datavalue":{"value":{"entity-type":"item","numeric-id":3457793,"id":"Q3457793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d86ea34984d7914fcd8dcc4630a55d917db313","datavalue":{"value":{"amount":"+0.9015750288963318","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":"Q4649288$852A7EA8-CABC-4E9D-BEF2-0FBB329C483F","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":"4fb3225aa8b91e85c102c71729d884f5be68e140","datavalue":{"value":{"amount":"+0.886328399181366","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":"Q4649288$9F687404-F47E-481D-BFC4-D6C67981BED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494940e0dc2536f3602834e5411c92795bef3dfd","datavalue":{"value":{"entity-type":"item","numeric-id":2870123,"id":"Q2870123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f5a8caddc07962a97cf2006cda1536c428da7c","datavalue":{"value":{"amount":"+0.8699294328689575","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":"Q4649288$8390D7AB-31AB-4162-8F4C-AFD1A859CBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e870d43dd7d00d590c40da22cef4dfa837e77bb9","datavalue":{"value":{"entity-type":"item","numeric-id":2363815,"id":"Q2363815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e76f9e9e2c5ffaf7d3b9ef8c1e48215d2e1fa71e","datavalue":{"value":{"amount":"+0.8530522584915161","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":"Q4649288$A44CB7D3-4E91-47AA-99B1-EB5085FE0FF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649288","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649288"}}}}}