{"entities":{"Q3007688":{"pageid":3018412,"ns":120,"title":"Item:Q3007688","lastrevid":80157473,"modified":"2026-05-06T15:34:03Z","type":"item","id":"Q3007688","labels":{"en":{"language":"en","value":"Failed literal detection for QBF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908751"}},"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":"Q3007688$7D6891D5-9B17-4DD6-8CC2-3AC1722D9DE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e982b07675973cff68ba0de5ca1117d38fd8090","datavalue":{"value":{"text":"Failed Literal Detection for QBF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007688$0F629586-BA9F-46B2-B8D7-8FD97332375C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d15e431f09a8909602e8b1e5eb688dbaadd13be","datavalue":{"value":"1330.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007688$B8AA1717-A2C0-4FE3-897C-E3E822EEC262","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"773d9b17857f8b600d073c1353a30c4bf5d51258","datavalue":{"value":"10.1007/978-3-642-21581-0_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007688$21F779F6-7C38-4A6C-9EFE-7EDCDA6EEF23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da0a3b9db4e00166cd3cb753494ad16f6a97e6dd","datavalue":{"value":{"entity-type":"item","numeric-id":286394,"id":"Q286394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$74E2A582-D646-4C5D-AB14-95BA6FB15970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$DA3BDFE4-E885-44FA-A85B-2F965151BCAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6452220a6eadf7eee4b5550999a260b280ba469e","datavalue":{"value":{"entity-type":"item","numeric-id":3007670,"id":"Q3007670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$38D14D75-F0A7-41E9-98E3-C3694FCF5B0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007688$0374D088-6F74-4604-94BC-0E025490E0F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007688$37261378-C194-4D5D-A378-A9937A3E660A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007688$A32455EF-C7D8-4361-AD4D-72320748E195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007688$FE5C4D2E-AA29-48F9-BEA6-168D858CC919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007688$4B44B8D8-6CCE-4F6E-A0CE-18265FF41B73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee8104d7d4a449251487e9fe906a1ebd2bf21c26","datavalue":{"value":"5908751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007688$6E34C1B3-AB81-466D-A195-59F72B452727","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$044C3882-8B21-47BB-A91E-1A95F945C72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6b38d41f42be9a63abc418d73603b2d531b26a9","datavalue":{"value":{"entity-type":"item","numeric-id":21713,"id":"Q21713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$901C68A4-DD14-49B4-94A4-C9BC0DCEFDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eabe837cdf5ac407f1205ea3065718ba4df6111d","datavalue":{"value":{"entity-type":"item","numeric-id":40095,"id":"Q40095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$3D258578-1973-4AF4-940A-070F15A26C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90bbf05b61d9b805bad3a7dddfdf703eeaec6239","datavalue":{"value":{"entity-type":"item","numeric-id":19022,"id":"Q19022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$0BDE910C-D4FF-45A9-BB82-610F4CF66FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56a9ecaca2ef35efc3f134af231037d82db08c02","datavalue":{"value":{"entity-type":"item","numeric-id":21683,"id":"Q21683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$9EC271E9-BBB6-4F6A-A79F-7E90B9B2FC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ef66678d684041b8de78c7576de4cf0ad3466f3","datavalue":{"value":{"entity-type":"item","numeric-id":21560,"id":"Q21560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$9323CF2D-075D-4250-AC43-5F1ABBAFF72D","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":"Q3007688$5A527548-3E3A-4222-9E2A-9185B74FA9A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96dac1ea192a8c94c8d92c4f64a9d60ce1d3ece9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21581-0_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007688$F6386A89-F72E-42F0-8CD6-1EFC20508582","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5e206d9bfaa2cf828c5cd8f9145e7d87a10554b","datavalue":{"value":"W178358665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007688$CA3B4F70-6B5F-4FB9-B501-0F03E4043499","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd524f1e61633bfe329e378d309ab98916cb9c83","datavalue":{"value":{"entity-type":"item","numeric-id":2741514,"id":"Q2741514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$BC0D81F8-9D33-4BB3-9AE9-8E30BB4B99D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda68c490d3eacdbb4c205fd2cca76126f0a9248","datavalue":{"value":{"entity-type":"item","numeric-id":5714773,"id":"Q5714773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$FBF67883-33F8-48B9-9E95-1CDE97D84E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9370899dedc1d653d16f1f5aaa8b6c6be96f529c","datavalue":{"value":{"entity-type":"item","numeric-id":3604000,"id":"Q3604000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$B63D3F92-E5ED-4336-8D4C-8A1A6D0F092C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$AE25C8F9-2E9D-4586-8B09-83F9D27D8384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda6711bd23a75752359e8da91eea58b1ea8ddac","datavalue":{"value":{"entity-type":"item","numeric-id":3612470,"id":"Q3612470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$55AE9316-9CB2-4404-8EDD-900C8E9CA23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$520672ED-DD0B-45C6-9A61-E5BE4CA330A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130dbb6db379f2863eacc4d460357dee10cd38dd","datavalue":{"value":{"entity-type":"item","numeric-id":4488342,"id":"Q4488342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$0C68888A-040C-46F9-9E47-1E9C27ABCC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2dcdf769969c9e2053606978646882985217ff","datavalue":{"value":{"entity-type":"item","numeric-id":1610666,"id":"Q1610666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$2A97F688-4D69-4B14-A0AA-01671CA37143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4329c832aaeefb18d7073f9e13d9d92559128df4","datavalue":{"value":{"entity-type":"item","numeric-id":4930581,"id":"Q4930581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$1934123D-2F18-4633-B537-0D518B35BB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cb5c9d0b0d6ff42b8fb3510f341e870a8e3d24","datavalue":{"value":{"entity-type":"item","numeric-id":3624018,"id":"Q3624018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$674B4E3C-4832-481D-B64D-6642FDD73CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5599c727c68e4936c0ccf354ebed0f80ea71a399","datavalue":{"value":{"entity-type":"item","numeric-id":1977753,"id":"Q1977753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$A0A19EB4-EE6D-439C-9D22-5363A7AA207A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8106b001bbc0bb3e53aa876511e47842e12f73e","datavalue":{"value":{"entity-type":"item","numeric-id":3612471,"id":"Q3612471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$B30B133D-8D18-4ECE-8781-DCFFB1E675E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81867e3920d63292ec40a953a0141bb46dbbec3","datavalue":{"value":{"entity-type":"item","numeric-id":3612467,"id":"Q3612467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$3B067EE0-630B-4CE9-AD72-D228C0F3952D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a27d1fb90cccb11f35259877f3ba9e207a2057f","datavalue":{"value":{"entity-type":"item","numeric-id":3502708,"id":"Q3502708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$97769493-85A8-4B67-8CBE-69F0B8D4972B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d287ff1e29f189f0b400bd60fea401ae65acc625","datavalue":{"value":{"entity-type":"item","numeric-id":2454615,"id":"Q2454615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$7BE9E0D0-5FCE-4429-B1B4-CE826D6480D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e327f75ec9491cc8be11fedc34c02bfb17a59e3","datavalue":{"value":{"entity-type":"item","numeric-id":4930592,"id":"Q4930592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$EE5BCFE4-BBFC-4A44-B604-0D01B4B4F416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a756ebbce749ebc3a2ca6be88a5a3d420070fef","datavalue":{"value":{"entity-type":"item","numeric-id":5505578,"id":"Q5505578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$F08A9DC1-C01A-4C4B-8682-DB1B6D19A6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19c0f6e16691d3be7f09aeb1f46536b8cc5b9c84","datavalue":{"value":{"entity-type":"item","numeric-id":3524206,"id":"Q3524206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$11D903A4-6F9F-4DB9-898B-4182DC97BFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebdb78748228ac4fd7f7ad8a904ebbfa617c0fe8","datavalue":{"value":{"entity-type":"item","numeric-id":5756571,"id":"Q5756571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$453E0AA4-04E8-4024-AEAE-4F4865175AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc662343af43c0196c4b4ef506a97ae1455d08db","datavalue":{"value":{"entity-type":"item","numeric-id":983525,"id":"Q983525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007688$D88A4167-A4DF-4C10-8F56-B999539035D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec699bed4226f46e07909515bc6b3ad29298c556","datavalue":{"value":{"entity-type":"item","numeric-id":2843325,"id":"Q2843325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf91e9b02a3fcf9cb4ddb7914d90761229cc948","datavalue":{"value":{"amount":"+0.8723349571228027","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":"Q3007688$49AA07BB-2991-405F-A552-C66C0D4729C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47bad39d0253f741b2ff64843945d9c815803a37","datavalue":{"value":{"entity-type":"item","numeric-id":5900298,"id":"Q5900298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f23081ef5d390c9164c494f5b9ba3356b7453f29","datavalue":{"value":{"amount":"+0.7622790336608887","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":"Q3007688$73FB731C-68C0-4AFE-9991-6F63E4235F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735e4a7593e2aec0066ffe9438847f1c6adb8fa2","datavalue":{"value":{"entity-type":"item","numeric-id":5200018,"id":"Q5200018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be18051664416ed49563bbb54eb12f07f3a2e08c","datavalue":{"value":{"amount":"+0.7542640566825867","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":"Q3007688$5EF8C391-1FC4-43E9-A3C0-6F8A6E40C64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4732629a4972652d98f4bc9874c86637a0c91c78","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c022ffbd2e7468b398a2229b906fc2241b27cc8","datavalue":{"value":{"amount":"+0.7488827705383301","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":"Q3007688$2D0C5663-D963-4530-9B9E-6D436A3EFD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c8dc0a96a6e161d6b4aebf5fd0a1e41b65c6fa","datavalue":{"value":{"entity-type":"item","numeric-id":5714777,"id":"Q5714777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"118b5f6d4409a5eb22837a87c57917af39535df8","datavalue":{"value":{"amount":"+0.7419020533561707","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":"Q3007688$79D7E943-08F4-484D-B7DA-7A3F87142D37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Failed literal detection for QBF","badges":[]}}}}}