{"entities":{"Q6966601":{"pageid":21302670,"ns":120,"title":"Item:Q6966601","lastrevid":84055928,"modified":"2026-05-08T23:42:29Z","type":"item","id":"Q6966601","labels":{"en":{"language":"en","value":"Efficient normalization of linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8057400"}},"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":"Q6966601$3925FDAA-A5E8-4D07-BFE7-44FAB2626621","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24f78b2dfbba8f753daf65f1b59c43752a7fe62c","datavalue":{"value":{"text":"Efficient normalization of linear temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6966601$E7F94755-BFC7-468E-8D24-A874F414018E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d482c2d4c919288d3eae473a8bf2dbe3f760ad20","datavalue":{"value":"1565.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6966601$A7A8C2AF-CBB7-4D15-AD82-8DB57597B8A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f70664977896079dabfa313bec4773340dc2621c","datavalue":{"value":"10.1145/3651152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6966601$DD08CE75-12F7-4AD9-8446-A640B62FF34C","rank":"normal"}],"P16":[{"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":"Q6966601$757F8E7B-D9DC-4709-9B15-0C0B1DA8C6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bafae3d52609522af796446362a8627a32da7eec","datavalue":{"value":{"entity-type":"item","numeric-id":2104540,"id":"Q2104540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$25C3F6C7-234E-4AE6-8D9C-8FB9574E2421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55938b21f53eb1e267f2a1b02fe977fafd23cce7","datavalue":{"value":{"entity-type":"item","numeric-id":2147178,"id":"Q2147178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$75A31ECA-5F19-4EC3-92BE-CD54517B4F62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$EBD8C976-CD45-4E76-858A-F45AE4868915","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5074d9b0de0723d9e440f288bf072afb6754bc52","datavalue":{"value":{"time":"+2025-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6966601$A43AAD22-2692-446A-9796-078DD9C6F083","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6966601$91ED831B-BD47-4C44-9A7A-1BBA6330E583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6966601$C4C1192C-DA3F-4A6F-BC8C-7843FB49D8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6966601$668FB79A-99B4-425F-A618-3E03F229505C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b89ecea0db6ec278840925cdb12428acf786efea","datavalue":{"value":"8057400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6966601$2E589544-FEAA-4746-96B0-9791585A6BD5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$ADB57DB6-7CD4-4CC3-BF86-CF302C24D4E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6966601$142D1A3D-1CA6-4655-AB28-9876092933A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q6966601$C4F93728-F273-4043-A36C-D93DA50B5373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46c855c378a8b7ad145c1b716602f6ae7a643f94","datavalue":{"value":"weak alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6966601$13F994D8-6239-48CD-AA6E-53796DF637A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8ab26526eb6012f223dcc6d0c0e0ffdcc6b9ab","datavalue":{"value":"deterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6966601$74C42BA3-C696-4797-BE82-47DB5A94510B","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":"Q6966601$F33D14CC-FE7C-4CA4-BB7E-E401481178BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"830777795ecc8ffaf87d704c57bb70375cab03c4","datavalue":{"value":{"entity-type":"item","numeric-id":6181926,"id":"Q6181926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$7917AF71-2FAC-4F34-8532-52C813173EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$634A5D55-1ABA-42C8-A68B-24FE80EC6521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1aaa85a05f32be6eb5f65f7a0783ffa300bb19","datavalue":{"value":{"entity-type":"item","numeric-id":6535610,"id":"Q6535610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$E0FAE81F-7F5F-4424-9F96-73F3597330A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bbdce440ed281a3248d7f930dd030ba231cfd64","datavalue":{"value":{"entity-type":"item","numeric-id":5431318,"id":"Q5431318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$6D046EB9-910D-4FAA-AC1F-3D8429BFDE97","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":"Q6966601$8F9A4357-0262-401C-8AEE-64639AA46E6D","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":"Q6966601$C0E96958-A821-4A4F-A68B-79343A32AD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c9eb0bc39c2db4fa09c1fc685181796f068e9","datavalue":{"value":{"entity-type":"item","numeric-id":1211504,"id":"Q1211504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$05D08667-59F2-418F-84A2-B1F3D2ACA376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847bdb99cb33a5f1424e34bd2acf52aa81768716","datavalue":{"value":{"entity-type":"item","numeric-id":3086925,"id":"Q3086925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$E59BDDE9-A7FF-45DF-85FC-5C035AD03FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"115ef96bf99331e3ed47d04557a5b1c7b96446bf","datavalue":{"value":{"entity-type":"item","numeric-id":6487335,"id":"Q6487335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$59E68E01-8FEF-437F-8B21-DE9713AE0522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ebcfedece065a8de2feaef2323c80b70fe307e","datavalue":{"value":{"entity-type":"item","numeric-id":5056447,"id":"Q5056447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$7EDC3CB6-9333-46C0-A05D-0735EE02A070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0495edb3e7f0180e79ff5157ab3a0b736e083977","datavalue":{"value":{"entity-type":"item","numeric-id":6113977,"id":"Q6113977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$DF60B190-2A78-4967-B1B0-53B73A710051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$207275A3-56EC-4296-9F62-D7FA02C147E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8394963b44474dc19d65311aa926ece891ffe1","datavalue":{"value":{"entity-type":"item","numeric-id":3520238,"id":"Q3520238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$804C8865-9127-4244-8949-D52A6AF867A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9e409e52b45711b71923ec79d5ed3e4d06b759","datavalue":{"value":{"entity-type":"item","numeric-id":5897059,"id":"Q5897059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$A2B7D64A-9578-48B2-B25C-65E606E7DE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c9ca5f597d94868bd30c78fde68b208af6bdb8","datavalue":{"value":{"entity-type":"item","numeric-id":2147175,"id":"Q2147175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$60F1CD00-49F3-4496-AFB7-D466750B6066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d04c5f4ad33f5228976d2d495af9a574068a0c","datavalue":{"value":{"entity-type":"item","numeric-id":6109606,"id":"Q6109606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$4477448F-34A4-41A0-80EA-C857B23EF428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$8E23D488-8B3B-4896-A76D-8B4A565CBEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$D5157638-68DE-4B29-BA01-7CAF83B87892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36c698d8c5f8fcb5726cd8f5372348955f71972d","datavalue":{"value":{"entity-type":"item","numeric-id":4536446,"id":"Q4536446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$E65EF05E-E87D-4D86-8335-B5BC41DA91AA","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":"Q6966601$375E12CB-82FC-4352-AE69-3E6134430B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2b1afdfd50f7f4404e431384ee3957a9cf5c28","datavalue":{"value":{"entity-type":"item","numeric-id":1176248,"id":"Q1176248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$4DA61054-50A2-4FD6-9E6A-47F57EA7EBF4","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":"Q6966601$68AD9A4E-4EA7-4433-98EC-C92632B7EC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$F441CA7A-FC1F-4F42-ACF0-4C3FE3A41497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7161985b274b14fb28a3ad2e286151fe52dcea0","datavalue":{"value":{"entity-type":"item","numeric-id":4726235,"id":"Q4726235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$121F482E-61C6-4D65-8394-EEB46F274F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c55a66955d5e729f51cda2ad0b7b6b902bd8da","datavalue":{"value":{"entity-type":"item","numeric-id":5020355,"id":"Q5020355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$926F7AA8-1E1B-4934-BC9D-EEA3184EAA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a06f4c4197e594020d602c717ac1e1130aca08b","datavalue":{"value":{"entity-type":"item","numeric-id":5897680,"id":"Q5897680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$3F7889F1-2D3A-48FF-8AB9-11A15EAF0EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310dd478ff3c3b0dcaa6b3f970a417913b27dec6","datavalue":{"value":{"entity-type":"item","numeric-id":3176360,"id":"Q3176360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$31B3E1C2-A046-41F1-B5DA-EA7CD40D73CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$CF7EAD89-052C-489B-8530-7D154C4D8D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a15cdb95dd7ddcfa67e5dc2559ce2629e10a355","datavalue":{"value":{"entity-type":"item","numeric-id":1395897,"id":"Q1395897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$5548F8E8-E332-4726-9D95-08F91D6597A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00dd24e8cb21280e88534b735acd3d1514a7300","datavalue":{"value":{"entity-type":"item","numeric-id":5145684,"id":"Q5145684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$316C6243-EE65-452D-BE98-7C9B67A9B5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15fb510d752d28c4cf4a7d891afb159d6461435e","datavalue":{"value":{"entity-type":"item","numeric-id":3934375,"id":"Q3934375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$E3CB09D9-B173-4A8E-951E-87A519CAAA30","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":"Q6966601$7861DF0C-495A-4EBE-84EA-669DBB3C0DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f55243298e3d2a14ecad44913b341a09b62062","datavalue":{"value":{"entity-type":"item","numeric-id":6560392,"id":"Q6560392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966601$BF466D5A-B261-4E24-8FC8-B105529F13EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient normalization of linear temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_normalization_of_linear_temporal_logic"}}}}}