{"entities":{"Q7304002":{"pageid":31237723,"ns":120,"title":"Item:Q7304002","lastrevid":105078298,"modified":"2026-09-16T10:58:29Z","type":"item","id":"Q7304002","labels":{"en":{"language":"en","value":"An optimal pastification algorithm for \\(\\mathsf{LTL} \\lbrack \\mathsf{X}, \\mathsf{F} \\rbrack\\) and \\(\\mathsf{LTL} \\lbrack \\mathsf{X}, \\mathsf{G} \\rbrack \\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8230930"}},"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":"Q7304002$BD018E1B-0690-4D38-9C46-C79FE21FC334","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13dc14dc3f343d99d64a5bd951381b18eec90cdf","datavalue":{"value":{"text":"An optimal pastification algorithm for \\(\\mathsf{LTL} \\lbrack \\mathsf{X}, \\mathsf{F} \\rbrack\\) and \\(\\mathsf{LTL} \\lbrack \\mathsf{X}, \\mathsf{G} \\rbrack \\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7304002$982AC4FE-A81A-465D-A393-778829510422","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a2c149c0b2abefa6b7ea48d2e15a40c7f65ec81","datavalue":{"value":"10.1016/J.ARTINT.2026.104553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7304002$F170EAD1-9202-4B16-9B91-B09BD44C2FD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3f8ae51686944f53cc658936a10581b9293df0c","datavalue":{"value":{"entity-type":"item","numeric-id":862828,"id":"Q862828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$E5BD1B42-6A43-4FC9-901C-4ED8287F1AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93141fe765fd55ff78188fc280f46aafa4aa72f7","datavalue":{"value":{"entity-type":"item","numeric-id":2029606,"id":"Q2029606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$2A1A2139-043B-4FE2-9B97-95BF0D00AB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3426eb049e14d89befbc43e19e1f24581cade6a4","datavalue":{"value":{"entity-type":"item","numeric-id":2029607,"id":"Q2029607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$BAE0BABA-BC81-4066-83D9-62D4E8FB4D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f99e236d88f37cc15497b2c872ea8381f2a5704e","datavalue":{"value":{"entity-type":"item","numeric-id":1653009,"id":"Q1653009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$541D0F60-3FC1-470E-B605-DB6FCA7C040A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"756002514a2b72cd6fa61ad245305c03c71cc2b1","datavalue":{"value":{"entity-type":"item","numeric-id":6082231,"id":"Q6082231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$613F8164-AF10-41BF-88A1-D787F8292E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$C3A93E05-EE0B-477F-9309-89E52826E4C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$535F283E-4251-4D38-82BC-1418B0B978F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e60d1d71ed5122cb8857dd85ffeb641b0235e5ca","datavalue":{"value":{"time":"+2026-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7304002$DA2FFEE3-35AD-4C40-9AC4-050FE52A5D4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7304002$9F666100-41F2-494D-9F1A-273A420EB848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7304002$0AD40513-3E02-4CC0-B67C-CDF4F1E9B88B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c5da29be7d29ed04e74a594d5ed391fc52743aa","datavalue":{"value":"8230930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7304002$87D20221-BEE5-43A0-8F87-8A86C2559CA1","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":"Q7304002$86B2BD03-90BE-4862-85DB-E1B118353B70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a54d30336b5a9fa056aa04f6ef8a460f7e6631f","datavalue":{"value":{"entity-type":"item","numeric-id":7034925,"id":"Q7034925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$CEA8A829-6152-4D98-AA75-14F4BF1654BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42933d7d062dbf1ed1777664d7e2dcd6c0f9efbc","datavalue":{"value":{"entity-type":"item","numeric-id":5204340,"id":"Q5204340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$EB9D9351-B435-4A69-BD6E-B9F11845B89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78de811f25d3894352cbadcb6b2b3cf5bd4e052c","datavalue":{"value":{"entity-type":"item","numeric-id":6661746,"id":"Q6661746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$72BDF275-DAA1-41C2-BD42-67D85E6A1559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88adccb9813f683fc56442632142ee1f0d22035a","datavalue":{"value":{"entity-type":"item","numeric-id":5392291,"id":"Q5392291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$B13A4E21-258A-4CFD-BF4B-A271309D11E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba57bef9dcf8610ea862985a8d05b601f1f871bc","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$F69212CB-D188-4CE5-93B2-7769B2041A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8411f6870637394d79405357c7419253726c5ffe","datavalue":{"value":{"entity-type":"item","numeric-id":6629519,"id":"Q6629519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$2B13AB67-C1FD-4660-A0C1-FDAC2E6E8BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2473d207993dfdc8afaf57576149968a823d6f22","datavalue":{"value":{"entity-type":"item","numeric-id":6611959,"id":"Q6611959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$045CD988-14F2-4720-B099-B38D60BBF48A","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":"Q7304002$F4820BA6-2083-4216-81E9-C78D1B3BAE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131c6b62c290a15cf0aad33ef90d14d9b6558993","datavalue":{"value":{"entity-type":"item","numeric-id":1889855,"id":"Q1889855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$BF0BB01F-3ADF-411D-8678-0F28ADE89CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16bde731f494015790416721098b7da00cf91693","datavalue":{"value":{"entity-type":"item","numeric-id":3012526,"id":"Q3012526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$E81B5C8C-AC5B-47B0-BCEC-4F4226A8F046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89e49da6f69a533cb995e5fb0e07b947527ac39","datavalue":{"value":{"entity-type":"item","numeric-id":3587258,"id":"Q3587258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$018BE35F-DAE5-49C6-B54D-D1B4BD12F627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$56B0E0CD-2238-4376-9404-C6705CC7EEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01b32f08130a44f4ffd0fb7baa0d3f8f650a7c","datavalue":{"value":{"entity-type":"item","numeric-id":5526129,"id":"Q5526129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$0E9A26A9-238B-40E0-9637-A413A03C4D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$CC3C0738-75E6-4683-B22D-4B5335BB07BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5cec1cb994921772b4d187bb291fdbf3e2e9db","datavalue":{"value":{"entity-type":"item","numeric-id":7287752,"id":"Q7287752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304002$B9C9B968-B32B-474D-B1CB-C45D077B392A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:7304002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:7304002"}}}}}