{"entities":{"Q2253959":{"pageid":2264702,"ns":120,"title":"Item:Q2253959","lastrevid":72935880,"modified":"2026-04-14T08:52:05Z","type":"item","id":"Q2253959","labels":{"en":{"language":"en","value":"Transformation from PLTL to automata via NFGs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6403447"}},"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":"Q2253959$51D52799-497B-4ED8-8504-922F3C634F09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a9dc53fd377ad836ef90ec27c9b5b42bd9c5d33","datavalue":{"value":{"text":"Transformation from PLTL to automata via NFGs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2253959$B84A14A8-E5BA-4830-B59A-748C53B5A803","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42092ad3ae5842cc3523bf413f8ca38bbbeb03bc","datavalue":{"value":"1319.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253959$5079ADBF-22ED-4107-9C27-B56B6389FD8E","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":"Q2253959$6F94F643-7A95-45C1-9265-4C7629086247","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":"Q2253959$0F8B9032-F0FC-4631-BC41-F0A967F80F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37e085ecbc83d59919ae382f77064b9890c510b4","datavalue":{"value":{"entity-type":"item","numeric-id":247889,"id":"Q247889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253959$63A52EB4-E92F-4F8F-81E4-748CE97EC964","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dcf8815e3b257674fa147da7a4e7c92c91c0b3e3","datavalue":{"value":{"entity-type":"item","numeric-id":185429,"id":"Q185429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253959$2AE7BA31-CCEA-47E6-AD7E-85B055898873","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecc27258639d45dae539eccbaf17a967d9ab5eb6","datavalue":{"value":{"time":"+2015-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2253959$5DEABAA0-601E-4E18-A64B-F590FF9DB7FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253959$E2326E22-C6F1-453C-B7B4-749C59198768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253959$F4F5D66C-6715-4046-9C3D-9E751C7682A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253959$0601759C-C7F9-484F-859F-363DFC6ACF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253959$4533B01E-3A1D-4FB8-8A9D-A689F90ABC0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74249a6f0b2dd9ad9ac29dbdbbffebd7725a2d5e","datavalue":{"value":"6403447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253959$833E9290-4D2A-4714-8D3E-8C4EB1E32F58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253959$92A01844-4A1D-41CA-B150-B64C5C291F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253959$65D14B6B-9571-467A-AEE2-D5FD8E2D5722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253959$ACA52F77-F578-4787-A207-0DC04020F036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253959$C66FE9E6-1967-46EF-AE5B-E5E2AAE89FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253959$50CA4B99-52B9-4EFA-AD1C-79A112E244C3","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":"Q2253959$822882F4-D1DD-4CA4-A9D7-95B9954A8B19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0f466d50c213768035d7a87cc9ebb9b91c292fd","datavalue":{"value":"https://doi.org/10.1007/s10878-013-9601-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2253959$1B93F979-1F93-4CF6-97DC-E067450E0F36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8446e990380c107c230649bc61c4dc65bf6c0cb1","datavalue":{"value":"W1973638963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253959$F015C986-4FDA-4C28-B60F-4E6DEF8445CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5533d056fe8b5f03876ad0811b874f1e1fe1c396","datavalue":{"value":{"entity-type":"item","numeric-id":600253,"id":"Q600253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253959$3FBD8316-FBF3-410F-9201-837DE83A6BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253959$09628D98-74CC-4C9B-801E-21258DF41AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27eb369af74c81caf93446c2eac86f4939dec84","datavalue":{"value":{"entity-type":"item","numeric-id":4817549,"id":"Q4817549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253959$393D50E2-BC8B-4F1D-B898-5F9C2D89866F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80baa7dd24c818fd0c0c74f2138ba1261f4733e6","datavalue":{"value":{"entity-type":"item","numeric-id":2480780,"id":"Q2480780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253959$8831A469-8A0E-4FDB-BC23-A23682991665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253959$632D18A3-9C5F-46B1-9097-46C7139E322F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5b46a43271cb7bdb8bd8f6aed80d0b79118e81","datavalue":{"value":{"entity-type":"item","numeric-id":4536600,"id":"Q4536600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253959$CC7215BC-2809-4090-93BE-62B4EF391138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d84bb92277de7124ceeb976bf454284832a8a249","datavalue":{"value":{"entity-type":"item","numeric-id":3559779,"id":"Q3559779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253959$0E950667-052B-4F8D-ABEB-9F8AA094C168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9113a3a15124a3d57eaafa717e51f790c70464","datavalue":{"value":{"entity-type":"item","numeric-id":5387877,"id":"Q5387877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253959$5FA432F2-D3ED-40EF-83EC-91C5A5A08269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253959$1029336A-F8E1-43A0-8321-FB95A02199E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cd54413287e6e70989953202b0183dd784ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253959$CA8C07DB-DA2E-4B48-87D0-085B507ACFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253959$9FCBDF9F-C0AC-4EE6-8D01-26A93E51C7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d813fca75a3d719a33bbcd4c1644084d452a9730","datavalue":{"value":{"entity-type":"item","numeric-id":4490750,"id":"Q4490750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253959$405CABB4-BCCF-4F8A-9C0C-A08AFF7153CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6571f5e7b59314ce70c60fe99520c2ad4472991","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253959$5F80EC3C-5F9D-4227-B637-C299D026E74B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ff6c09b8c0c08e9fb41c12121b3fa65e5e8c5f2","datavalue":{"value":"10.1007/S10878-013-9601-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253959$B64AE493-2283-471E-85DB-7BB8991DEDEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ce49ec48b485aa795ea158899126e078dd4c58","datavalue":{"value":{"entity-type":"item","numeric-id":5431331,"id":"Q5431331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c79163a7de8e74468689d791568ec9267a9b9b","datavalue":{"value":{"amount":"+0.7714082598686218","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":"Q2253959$4254B693-58ED-4DF8-A9D1-1A41D392980A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6579d4aba8e2df988b16a628bf59199acfdd163c","datavalue":{"value":{"entity-type":"item","numeric-id":2488275,"id":"Q2488275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e73eb64cb3cce27a9f250802af62c466aa2a3e69","datavalue":{"value":{"amount":"+0.7597991228103638","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":"Q2253959$3D7D1C93-AAEE-4B0D-B5A5-EFDE0ADD33C1","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":"a954a594cee05ed5049bc09230cd66136b102a6f","datavalue":{"value":{"amount":"+0.7530686855316162","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":"Q2253959$2DBB43F3-4B67-434F-A048-4700595B0BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"813708190e215a58a1cbf823d748ee65352b3d9b","datavalue":{"value":{"entity-type":"item","numeric-id":4028163,"id":"Q4028163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"232c9bc8aace2e13f62b79c8e91620ecf36bf7f4","datavalue":{"value":{"amount":"+0.7393782734870911","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":"Q2253959$CFAC9C98-8DDD-4D53-B2F8-42926062DAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd657482bd263d4c2eaf8ede8c991f182bbfdc6","datavalue":{"value":{"entity-type":"item","numeric-id":1623115,"id":"Q1623115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"232c9bc8aace2e13f62b79c8e91620ecf36bf7f4","datavalue":{"value":{"amount":"+0.7393782734870911","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":"Q2253959$E44E26C6-9725-4787-B56B-35258F169426","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transformation from PLTL to automata via NFGs","badges":[]}}}}}