{"entities":{"Q4013255":{"pageid":6043051,"ns":120,"title":"Item:Q4013255","lastrevid":55189114,"modified":"2026-02-04T14:48:17Z","type":"item","id":"Q4013255","labels":{"en":{"language":"en","value":"Efficient Temporal Satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64026"}},"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":"Q4013255$E5444A5A-3CF6-4AAD-AC87-5A10A8F1E1D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9dda365661ecb985e0bca56ce2cdbc46845927ef","datavalue":{"value":{"text":"Efficient Temporal Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4013255$94E0701D-0816-4C51-A299-79E7DF83B57D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91ed6825f7d83ce5d2314ac341d291e60aa4bf48","datavalue":{"value":"0767.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013255$C035B1A0-71E1-447F-928E-0089ED59ED6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"491d315275ebce4352dcc32ed14656fc2670ce1f","datavalue":{"value":{"entity-type":"item","numeric-id":4013253,"id":"Q4013253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013255$87B88DB7-8BFE-4B43-88F1-3C1B7B77E816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b506fb72d4731e16d211e20c36f0762883416923","datavalue":{"value":{"entity-type":"item","numeric-id":4013254,"id":"Q4013254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013255$4C7D2CEC-02FE-4F7E-97D3-D30F7E091D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013255$7CF2C856-2C75-45AA-A6F8-AA3F29E7A6D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-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":"Q4013255$5A241A27-0E05-4019-A798-2AA90F6BD5EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013255$7BFC07F5-6153-4AD5-BA94-C1312D852DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013255$AAA63538-DB80-4127-B788-3821A401D722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013255$40795FD9-A7D7-4535-BFC0-4D789F261D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013255$C2EE69E8-ACED-490B-95CC-7D6039DDC11C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e4e70551e52d0cd1f3969e1089ea6bbeadf4ada","datavalue":{"value":"64026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013255$EF295C75-630E-45E2-919E-C66EFF87CAF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48336ee58df083e77157b80d0dcb119883c9b391","datavalue":{"value":"\\(P=NP\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013255$5F371F2A-DA03-4805-86E1-E71C071F2E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"291979054cf5289ad979b3b4b82686f73510017e","datavalue":{"value":"complexity of testing satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013255$1082B482-9846-4D70-8788-76C2CD65AA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3f9e058dba3d6a3046e092b5d8f7368e53c1112","datavalue":{"value":"exponential time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013255$49D4C7F6-9A46-465E-967F-8D51F82277D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013255$40EEBE4E-E269-48C2-ADD6-65858CB173D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e90b7870184b4fec8c274946c1560c81ece1d150","datavalue":{"value":"polynomial time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013255$EAB4DD75-B54C-41B9-B71F-E5E9C7D9F0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffd7912315faa2d23db6bcacdffd3fe0293f1701","datavalue":{"value":"Horn propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013255$B19BDB71-FD00-4544-9262-A93089255384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013255$51A444F7-BD88-4692-A8AF-9A28A0B2FDD9","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":"Q4013255$F88D6F0B-C0CE-423B-A5C1-0138C3D496F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcf2427adf60cd8878fabd126eda557d12f2c091","datavalue":{"value":"https://doi.org/10.1093/logcom/2.2.173","type":"string"},"datatype":"url"},"type":"statement","id":"Q4013255$2F01A26C-7B7E-46C3-B7A9-D445BA5FFC8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"227aacc06ae4cc362cf9029da2b0f556bb5ad722","datavalue":{"value":"W2067210292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013255$A6068259-D181-407B-843C-C41D1830FB7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7b0e0f6785841f3025522263724e3e8e5e924cd","datavalue":{"value":"10.1093/LOGCOM/2.2.173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013255$6698B5C5-40F8-46A7-AC1A-8C938EF415BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013255$114AC310-F203-4812-B6A3-58D52152EE7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f961bd8af11ac45f84a83b5ada9f74984795b9","datavalue":{"value":{"entity-type":"item","numeric-id":3578192,"id":"Q3578192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d5bdd934ce09ce616ac275c384dc60a8b1f691","datavalue":{"value":{"amount":"+0.917748","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":"Q4013255$06FF2746-BB3C-4DC1-A7B8-B9249E411B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6fc4030e1f254b736e2fcf6aa75cde2125981cb","datavalue":{"value":{"entity-type":"item","numeric-id":5145634,"id":"Q5145634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0cb819ff8b77d5f97b93319a49ef01fb94ce8f0","datavalue":{"value":{"amount":"+0.9136836","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":"Q4013255$9A36A343-6BA8-4C13-AF00-3C8264BBA5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c83ff4b273c774d8b98070d112ce51492e312f","datavalue":{"value":{"entity-type":"item","numeric-id":5314476,"id":"Q5314476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be1952023b0436ed25b4548bc600fcbc82da0191","datavalue":{"value":{"amount":"+0.9089576","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":"Q4013255$2A7E2175-3118-49D9-8BD4-30BB3AD14FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31f9ad0372647c4b9e2cc68c3030f6b40ea630e","datavalue":{"value":{"entity-type":"item","numeric-id":2883077,"id":"Q2883077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f6ae34d9d5915b227d2b638322604e9bb366db","datavalue":{"value":{"amount":"+0.908037","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":"Q4013255$CCE8B672-E091-4763-87B9-108B3358B5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aef92e5849a21be6022d59af017be7c37a791876","datavalue":{"value":{"entity-type":"item","numeric-id":5750422,"id":"Q5750422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c174aa8793f481ba0e05b8c8c51d1706a0142a","datavalue":{"value":{"amount":"+0.90274495","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":"Q4013255$45033F0E-F800-4CB2-BD13-57FE9E258B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff88762b4bcf546c5d1488b9edce983397dc263","datavalue":{"value":{"entity-type":"item","numeric-id":5094139,"id":"Q5094139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bef32ae0a45c2a79b0a2027b111898a23751f11","datavalue":{"value":{"amount":"+0.8989334","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":"Q4013255$C1624833-F2A5-4D95-ADBD-AE02E24EA85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79dbe7b51669508a16d94d424ac401deefb62f3a","datavalue":{"value":{"entity-type":"item","numeric-id":814524,"id":"Q814524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f987972bf139a5ac7bcaa44e3a59ba66db66b515","datavalue":{"value":{"amount":"+0.89854664","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":"Q4013255$D36A79F2-EE72-4CDC-9D45-41C6FED1ED27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"510bc063cfd512aa331c95d849479a2335d3b69c","datavalue":{"value":{"entity-type":"item","numeric-id":1855212,"id":"Q1855212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde347a896eb483c51c1c62e63bb781d450cf587","datavalue":{"value":{"amount":"+0.89791083","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":"Q4013255$3ED6B5FE-B829-4380-9ECA-DF032FDD7657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5541a6f6def14da005da74a64368941224a5b718","datavalue":{"value":{"entity-type":"item","numeric-id":4561495,"id":"Q4561495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc60c282679eee39cb99948c0f0ca6f00ffc8d0","datavalue":{"value":{"amount":"+0.8968366","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":"Q4013255$E3E01E46-8881-496D-B2AA-C0EA9BBCF101","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4013255","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4013255"}}}}}