{"entities":{"Q1209339":{"pageid":1220088,"ns":120,"title":"Item:Q1209339","lastrevid":66353454,"modified":"2026-04-12T09:31:37Z","type":"item","id":"Q1209339","labels":{"en":{"language":"en","value":"The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 167747"}},"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":"Q1209339$492A555D-073B-4792-B850-58207BC3DCC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29d1f4bccbb07a92e2d95ac73acc1aec2bef8135","datavalue":{"value":{"text":"The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1209339$C3014552-15DF-4EDE-B0E5-BE65C63EDF89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54e2b2ff47c7ea5af3be4d8dba6e5ec7f7516ed7","datavalue":{"value":"0796.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209339$682E4B7B-FF27-4DA3-B165-DD4536F92639","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4066fe9e8bc9d050101d27d4c2dd4b5388186fb9","datavalue":{"value":"10.1016/0020-0190(93)90014-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209339$DBACBBDA-283B-48B1-90D8-97053269892A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a1313feca909e4aa4bfc5a3c6d46e20b6dccd9b","datavalue":{"value":{"entity-type":"item","numeric-id":1209337,"id":"Q1209337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209339$55ABB906-98C1-4DB6-B3A2-C668C02D6495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0df31177ee32817b5a3d905ae0fa9efdb93373a","datavalue":{"value":{"entity-type":"item","numeric-id":1209338,"id":"Q1209338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209339$24DFBAC8-41F5-43C7-B0F6-E7D9C7E12A97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209339$981E871B-C3E1-411A-9372-5026822751FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-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":"Q1209339$6233A1DB-D347-42AC-963C-8D23BE5FD5EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209339$2495720C-68CE-4FFB-98D7-869578CD6D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209339$E5BD8255-2489-4429-9EC7-1B79F46EC88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209339$9416F3DE-027E-4AC4-902E-146E2EF54AB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41e9bbaacd0ca2ed58f5a1559735ed77313c1507","datavalue":{"value":"167747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209339$22D38C10-FE01-4A79-98CE-8DE0F241B9E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c42c3187d81ec934fd1a13398ef45837e4e0d2f","datavalue":{"value":"temporal logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209339$0BA00B58-763E-4408-9369-79AE7C6BE998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209339$0398837C-249B-4BB5-ADC5-91C856FA2D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209339$F392BFDD-572C-4326-976B-9FB930C6EB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209339$6AB516A2-4B56-4EE2-B8C0-FDF10AEAD6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ef3d1e723a50ff6e761b841dc7be35b8a1ffc8a","datavalue":{"value":"Horn formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209339$4B8F3405-B12F-4469-ABBF-B3D7693784BA","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":"Q1209339$30227DC2-E0A6-4845-95E3-2525FDAAA2C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b38e00f9ec1f1ad95bd5a593d1dbecc11889a11","datavalue":{"value":{"entity-type":"item","numeric-id":1079962,"id":"Q1079962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209339$B97F261B-5DA0-41DF-8DE6-4A75B4410193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e054998d404e8c1ea00d2b1fd4948cf54c22bb9","datavalue":{"value":{"entity-type":"item","numeric-id":3762285,"id":"Q3762285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209339$471884E4-9F0D-4507-BA7D-7F3B21054463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac9e4b5cf31ebaee08be3beb31c1f3a7e062730","datavalue":{"value":{"entity-type":"item","numeric-id":4733441,"id":"Q4733441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209339$E8CCC322-58F8-4900-810E-9C0D9BEA7DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209339$ECD36F02-8B86-4E47-8186-B43CFCC2B02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209339$755FA33F-10F8-4C19-BD2B-E1D0CAD69499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba6a5ced319afb533a64bd672e0cf9270623c5b","datavalue":{"value":{"entity-type":"item","numeric-id":3787973,"id":"Q3787973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209339$826BD1C2-925C-4DD6-945B-27A8A4E82FEB","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":"Q1209339$38507498-65C5-4042-8FAE-632E38AAD1BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0329fc1d25b5a378d87bd69d3b95d266c6aeaebd","datavalue":{"value":"https://doi.org/10.1016/0020-0190(93)90014-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1209339$2F8E1C1E-8D04-4685-815C-DF733CECB55E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66605da6b124524ca55c5c3af227bfcc8ca7b437","datavalue":{"value":"W2041433942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209339$5FD4D52B-D48A-492C-87EC-BE8696E4FA1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eabe9aba6453bc26cc5ec302918ca38626b93fe","datavalue":{"value":{"amount":"+0.94629216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1209339$84FE88FF-89B2-47B3-8800-BF44A0ADAF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"553242049814c88eb3ab4950c2221e56555fc794","datavalue":{"value":{"entity-type":"item","numeric-id":5758057,"id":"Q5758057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef7fc259ef50ae50733b3b10d7676b354c7f4db","datavalue":{"value":{"amount":"+0.93363434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1209339$7C364AEA-6750-4D6F-9A8C-2AF0BE0ECF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4edc491f35e560ebfd55a4f75425246989539c2","datavalue":{"value":{"entity-type":"item","numeric-id":3623013,"id":"Q3623013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef7fc259ef50ae50733b3b10d7676b354c7f4db","datavalue":{"value":{"amount":"+0.93363434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1209339$4170A8F2-4885-4409-93FE-5CF5CB0AA3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f904b2b738da9b545ec91d0d688297341523cc9","datavalue":{"value":{"entity-type":"item","numeric-id":1854521,"id":"Q1854521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8634c7d8801a3d5fb8eaf79324670f8d8c759692","datavalue":{"value":{"amount":"+0.93358254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1209339$7D0922A9-5C11-4820-897D-A1D4AC0730CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e080210901be2a3cd23d58d8de35aa960da018fa","datavalue":{"value":{"entity-type":"item","numeric-id":4381382,"id":"Q4381382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"417c1cf67e03c0283c46bf3fad25f6ffb1b09d1a","datavalue":{"value":{"amount":"+0.92703986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1209339$4E73C216-A783-47F4-BE19-1F4D3902059C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3833c6396f13ecfb5867a67d77d00eb3c677de99","datavalue":{"value":{"entity-type":"item","numeric-id":5278205,"id":"Q5278205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27cb219c405ae4b91284f7735b88f97f9d2fcaf3","datavalue":{"value":{"amount":"+0.9270261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1209339$8142CC72-83E4-42F2-91B5-9B83F5D8F134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ff5a7d5c59cb89dc7f3b661c4e1d10ac2523657","datavalue":{"value":{"entity-type":"item","numeric-id":4737132,"id":"Q4737132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6adefb842cde65f9913edeafd67bfb95e8ad915c","datavalue":{"value":{"amount":"+0.91964203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1209339$FD57DBDD-0918-4376-A14E-142A8DAB3D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9339ca1c225a0c60694be0847c31aae2d6a3d2d2","datavalue":{"value":{"entity-type":"item","numeric-id":4511543,"id":"Q4511543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"729235a5de103bcce6d20e050c5188b8610dedc7","datavalue":{"value":{"amount":"+0.9192629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1209339$BAABA956-A3B7-4AF4-85C0-92C9F3C07BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8383c81dc306dd82e36f9328ffbecd979c9336a1","datavalue":{"value":{"entity-type":"item","numeric-id":1400578,"id":"Q1400578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d65965726edf0459f84f7d9b1f10807514521fc","datavalue":{"value":{"amount":"+0.9185845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1209339$17534896-FF59-4953-BD1B-BA62DB0C99A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2105f0c71536059d0b6d9a52909981c1a5ac2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e59834b59301180c861bdafcaeb713a72508015","datavalue":{"value":{"amount":"+0.91116214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1209339$3FF442A0-08EB-494B-B27E-BF15D9AD0DA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_computational_complexity_of_satisfiability_of_temporal_Horn_formulas_in_propositional_linear-time_temporal_logic"}}}}}