{"entities":{"Q1567402":{"pageid":1578142,"ns":120,"title":"Item:Q1567402","lastrevid":67987794,"modified":"2026-04-12T20:41:19Z","type":"item","id":"Q1567402","labels":{"en":{"language":"en","value":"Time-space tradeoffs for satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1455738"}},"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":"Q1567402$A806DC97-BFC6-4D86-8CDF-DB8EB671AB2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63efea69b2d9f40f8d2649b399ef89672214d674","datavalue":{"value":{"text":"Time-space tradeoffs for satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1567402$A663F511-78DC-4489-AF88-0E9851ADC451","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8094e5768a363d346ec387a4c6abbb20976eef0","datavalue":{"value":"0955.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567402$51FA1106-139F-49B6-8FCD-BAE802D2C481","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$804AC639-9D5E-45BE-8063-F86CAF685540","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8d78bbdd3da8fc3032632626b45818e0358b86b","datavalue":{"value":{"time":"+2001-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1567402$BEB65A3D-A738-44A5-BC05-428A18160FB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567402$6532B135-E2C1-4164-B0E6-FF2E43B1335A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37a57e8299b426255339ec1b14cd8a0cf77e6062","datavalue":{"value":"1455738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567402$4B1773F6-1964-48E4-BE22-9DDFFCDCB186","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567402$C55C9EF2-741A-42E7-A0C5-090E25BD663C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec24897927a0742784fae89aed9a922bc2a81fec","datavalue":{"value":"branching programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567402$7FE66A22-1026-463E-8638-9B37956D3EBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fe4057f7ea6f8b50335cff0c4e37872da7faa9","datavalue":{"value":{"entity-type":"item","numeric-id":1318472,"id":"Q1318472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$536B5ADA-FCD3-47F8-8DEB-3A91C8EA9CA4","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":"Q1567402$AFFD5F31-29A7-4EAB-880F-8784D82AE220","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ee84fcff8f2d218f428f83dabbd77173b36ca94","datavalue":{"value":"https://doi.org/10.1006/jcss.1999.1671","type":"string"},"datatype":"url"},"type":"statement","id":"Q1567402$D9165004-FABD-4F17-8D32-ED91F9FFEBC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abe6a49cc957682f808fde0a55b56e9622a586b8","datavalue":{"value":"W2015895898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567402$76909F88-9A72-44DF-9227-16DEFA742DFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd988428df9b89975aafa79a46665b6b8ba086c8","datavalue":{"value":{"entity-type":"item","numeric-id":4252736,"id":"Q4252736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$C0338418-3505-44A6-8F82-C74C90EA0031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbc8a63364718213bd1f348155f7d40d7b87df8","datavalue":{"value":{"entity-type":"item","numeric-id":1201152,"id":"Q1201152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$71D3D963-332E-4879-BBBD-8263174AA852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b87d4d660be017ed3a655c9578140dd400c43c7","datavalue":{"value":{"entity-type":"item","numeric-id":4385519,"id":"Q4385519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$2219E188-9C58-4ED2-8914-E8F4F14B8DCD","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":"Q1567402$2DFE4961-E1F5-47AB-96BA-D35836A1C72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$BFFE6CAC-89A0-45D6-9A1D-46B6F34B2F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"544027f5c686e434aeb68d4e057be0843d1d7756","datavalue":{"value":{"entity-type":"item","numeric-id":1096390,"id":"Q1096390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$07191A26-0D84-4248-8AF6-773AC6E63C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c3aa1f109b7982536744b5c71615445bc3e192","datavalue":{"value":{"entity-type":"item","numeric-id":3316594,"id":"Q3316594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$7173B786-0652-4F85-8832-4699AFAC5089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2c6835e91a49f97cf4668d404e62068af148c5","datavalue":{"value":{"entity-type":"item","numeric-id":4234060,"id":"Q4234060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$08AE211B-5951-445A-90A8-CBAA19794CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00568a7b2982d4bcd0b20d9366321de48c78004d","datavalue":{"value":{"entity-type":"item","numeric-id":4289278,"id":"Q4289278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$1D51D4E6-B0B1-457B-8175-7B7563941025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$26A2184F-47EC-4B9D-A60F-C4752D09B505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d81dd9c9790a0a709f8e9c78d79d88ed37fc742","datavalue":{"value":{"entity-type":"item","numeric-id":687510,"id":"Q687510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$0E3D9F18-344F-46E5-B8A5-587F31EDBF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65baddbe46200b9a2ea2d87eb8bda2bc06421a71","datavalue":{"value":{"entity-type":"item","numeric-id":3826533,"id":"Q3826533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$D9CE7427-2D31-47F2-85E3-5963F8BD947A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a412bb789193655ae4afab60cd924bccd7bf6bea","datavalue":{"value":{"entity-type":"item","numeric-id":3477959,"id":"Q3477959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$32C8704E-E9CF-461B-ACE5-B35E8B7D0E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ed8c1c9b5cf85c3067f46e271b605235d5e997","datavalue":{"value":{"entity-type":"item","numeric-id":5339741,"id":"Q5339741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$540C7489-F31E-4FA9-BBBA-920B6004243F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1abf0ec1abf337ad5daf1409b3e69fe79a4c97","datavalue":{"value":{"entity-type":"item","numeric-id":5526975,"id":"Q5526975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$072DA787-3866-48D0-BF52-F027004D23E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$05E48061-590F-43B0-BF67-942740189CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"529636f514f2cf19373a9a659e09022442fc1d94","datavalue":{"value":{"entity-type":"item","numeric-id":3334987,"id":"Q3334987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$38CC67F7-DB8F-4436-99BE-25294932FCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dba1b630fbabf4da4bcb4c5ead5827d30fc7c02","datavalue":{"value":{"entity-type":"item","numeric-id":1095660,"id":"Q1095660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$0C3E7C60-C633-4BC8-ADD5-7BEF5DEBE505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cfa66b5371e2888d25cb2bc33aedb7868119dc8","datavalue":{"value":{"entity-type":"item","numeric-id":4729353,"id":"Q4729353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$D0D3457F-30C0-434A-8DB5-00B6BCF2C78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6de891d5a6744d6bc5da3b977613039967f9d10","datavalue":{"value":{"entity-type":"item","numeric-id":4191603,"id":"Q4191603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$632C50BE-DC38-46CA-8390-7DAB475F47E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135117a7894f62f0fd84fa8ca4cf2176d8e3df26","datavalue":{"value":{"entity-type":"item","numeric-id":3993545,"id":"Q3993545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$7A101DFC-F96B-4636-943C-B1875350AE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6cfa2d1621cc9c511156a9dc9b2a1395c3f3d33","datavalue":{"value":{"entity-type":"item","numeric-id":758197,"id":"Q758197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$B09D75BE-3C8D-42E0-BB86-CE1BEC8E2405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072e91014367104cf566b8b67a728f68b171a4bc","datavalue":{"value":{"entity-type":"item","numeric-id":5906823,"id":"Q5906823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$84AAA6C2-D446-4DD4-81C0-D7712AED1A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$380B3053-A9B5-496F-A5EF-F945E9DD17F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1bf22912f1e7db9766e811575558602919b3ea2","datavalue":{"value":{"entity-type":"item","numeric-id":4139688,"id":"Q4139688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$FB1B8551-5321-4C04-A2B1-757D3456BC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303aff42bba7cac20f2c31129d466b8c70f1731e","datavalue":{"value":{"entity-type":"item","numeric-id":3276696,"id":"Q3276696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$0A99D00F-1D04-45D0-BB7F-CE352971DD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca27b2e31264dc7ef43f84b65569a43b1a96915","datavalue":{"value":{"entity-type":"item","numeric-id":1102112,"id":"Q1102112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$F267DB02-0994-4CC1-A925-B6F0CE8CE75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3560cc4279512a542093927dd496e3c6304104b7","datavalue":{"value":{"entity-type":"item","numeric-id":3359758,"id":"Q3359758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$29BC3544-4CC3-4545-80FC-B2B43BCC7115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14efb49139bf6636efc61d26092213d1072148b8","datavalue":{"value":{"entity-type":"item","numeric-id":4779250,"id":"Q4779250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$092BCFD5-D05E-4E50-92DF-A5614BD3F029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16eefad97743aec65d5a0522e430494dd9a706d6","datavalue":{"value":{"entity-type":"item","numeric-id":4723712,"id":"Q4723712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$68B483EB-A6BA-4B74-82CD-ED16FAD33615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cce85947fd71c4f5850f59f036a4dd761cfae66","datavalue":{"value":{"entity-type":"item","numeric-id":4154070,"id":"Q4154070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$C8D3F5CA-EA1C-4232-BAB4-B0C253A1D4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dba4df49b662a8fee4f9b30f1c40715a0864722","datavalue":{"value":{"entity-type":"item","numeric-id":4312417,"id":"Q4312417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567402$FC5F7940-A906-4112-8B7F-8829E2C10EA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"557bc07f58bbce35e63956f56d3235adfdc69a56","datavalue":{"value":"10.1006/JCSS.1999.1671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567402$3C6EB14B-2304-4E51-8015-1021AD8C2F6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4462be1abc316894dca49bfe969c7c58f01ddd2","datavalue":{"value":{"entity-type":"item","numeric-id":3455209,"id":"Q3455209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ef4868e4139ab96ece23939ecb7c7e6e7993427","datavalue":{"value":{"amount":"+0.879992663860321","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":"Q1567402$83EBFC07-C365-44A4-BF1A-D7E582B0C2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"227ff7c20de63b4db6c3c546b71e32269d358851","datavalue":{"value":{"entity-type":"item","numeric-id":5956015,"id":"Q5956015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a90468b281144bc8d23800693cbff9d23a7fdf96","datavalue":{"value":{"amount":"+0.8752204775810242","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":"Q1567402$53785860-B7A0-4ADF-9D26-CA4AD8315064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f126af51bb0406a718eeb65fff14b7bf10fdf5","datavalue":{"value":{"entity-type":"item","numeric-id":2460033,"id":"Q2460033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"258903d390f5a7b76eafc932505cdee0542610da","datavalue":{"value":{"amount":"+0.8569302558898926","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":"Q1567402$F04B4852-D5DC-4A17-BEE5-EE207EA7D1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143f83e82906f59c7836778facb8332060f8ebdd","datavalue":{"value":{"entity-type":"item","numeric-id":2729236,"id":"Q2729236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c1416d443f9ffdf509e5d0cbde31c8aca466f7","datavalue":{"value":{"amount":"+0.8452803492546082","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":"Q1567402$FA0E08C2-8781-4D13-A28C-643CD1AC9691","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Time-space tradeoffs for satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Time-space_tradeoffs_for_satisfiability"}}}}}