{"entities":{"Q3191203":{"pageid":3201911,"ns":120,"title":"Item:Q3191203","lastrevid":86632175,"modified":"2026-06-04T03:13:16Z","type":"item","id":"Q3191203","labels":{"en":{"language":"en","value":"A Note on a Problem Posed by D. E. Knuth on a Satisfiability Recurrence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6347422"}},"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":"Q3191203$D68B2AED-61CB-4CF0-A7CB-7B95B7294479","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"156f87a86d76b06cc47f7bfd9380ed049f099f7b","datavalue":{"value":{"text":"A Note on a Problem Posed by D. E. Knuth on a Satisfiability Recurrence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3191203$48521B24-B7B3-4CDC-B447-2E93017813E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75ceeeeeb753b207c82428f0561c944a895520a6","datavalue":{"value":"1298.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191203$690E30BD-B742-4DD4-BFEA-D266B337B5E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1dc26a6b756e421e56935082ee8d31ef320b5a29","datavalue":{"value":"10.1017/S0963548314000133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191203$EC1E0C96-2DD4-419D-BCDF-06E9239FF2F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a0536f9243d280433a98a65ec05603a2c2dc486","datavalue":{"value":{"entity-type":"item","numeric-id":205208,"id":"Q205208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3191203$671EFD79-8F4B-4174-9F8A-A24B80C58809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c884f7b01d2ba413b82eb9f4b68f02a6186544d4","datavalue":{"value":{"entity-type":"item","numeric-id":672988,"id":"Q672988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3191203$49732B7C-014F-452C-87D4-954901CA4368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c91477a0214363d6057247d347174e6d2ccb6c7","datavalue":{"value":{"entity-type":"item","numeric-id":219420,"id":"Q219420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3191203$5CE3856A-92D9-44D3-A235-55EE3DB92914","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3dc98aa839a361f8a72b00376d60e99225cffa57","datavalue":{"value":{"entity-type":"item","numeric-id":2703019,"id":"Q2703019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3191203$C6A83E83-865F-4DBB-B426-5F29F05A6DEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b60e09a3d7958a10f59b9f0869ed67b1defbacb7","datavalue":{"value":{"time":"+2014-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3191203$C0207451-E0E6-46B1-BBF8-128B3ECFFD67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191203$B68CE11C-86BC-46B1-94DD-237E0E0EEFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191203$FF629AD8-06E1-43AF-93E8-65B21BA502FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cfabe885e529a1507cec82745367101d5b33dd0","datavalue":{"value":"6347422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3191203$2FC539A6-B9DB-41E4-B086-B063EED74228","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":"Q3191203$27C3F6FF-6125-4479-A102-46205B1D2DCC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad88eac4ac88e2fbef6717213f6791e4118fa174","datavalue":{"value":{"entity-type":"item","numeric-id":3495658,"id":"Q3495658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3191203$833C4DB6-3D15-40D8-BF35-612B40FCDA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432014b4b219daa756fe66a804f9bca940c9ae1f","datavalue":{"value":{"entity-type":"item","numeric-id":4695383,"id":"Q4695383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3191203$B38EEFFC-68B8-4AD0-BE63-EAAF40CD61F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4171491993f8a8b7c172224ab7a958f755537c4e","datavalue":{"value":{"entity-type":"item","numeric-id":3028854,"id":"Q3028854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3191203$53E7DBE2-7E3C-45B2-B13B-E82318BEA2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27805ea89df1037182d934c42ea6e5ec06b4c90","datavalue":{"value":{"entity-type":"item","numeric-id":1129001,"id":"Q1129001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3191203$C7AADEB0-009F-4D69-BA08-92244C6B2E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"789c9b261b79882661741dd01add5c380b8a4ed3","datavalue":{"value":{"entity-type":"item","numeric-id":787685,"id":"Q787685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3191203$BA895B0E-F4A0-4E93-8128-DEDDDB4B7252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6d190e22547ddcff84c66baf0f714a99f2aeda","datavalue":{"value":{"entity-type":"item","numeric-id":672981,"id":"Q672981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3191203$A2F2EB57-4B64-4A94-B401-7C5E434340DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ef8fac80d379bd80260f843138869332bd9384","datavalue":{"value":{"entity-type":"item","numeric-id":3549563,"id":"Q3549563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3191203$9D75CC32-543F-4B06-9A15-2CF207515798","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff883113f8133cf1a56653c3ad88b7a2709d8e9","datavalue":{"value":{"entity-type":"item","numeric-id":5695188,"id":"Q5695188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa3e8dba55b102e3f6c6c4c959bfdf31d1915c7c","datavalue":{"value":{"amount":"+0.8729078","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":"Q3191203$7E28A779-9EB3-440F-80D7-7D76870B14B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5d95d123917c86ce61d0c80b3453b148e04077","datavalue":{"value":{"entity-type":"item","numeric-id":1791767,"id":"Q1791767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a28eaeda2d642d8c2cb26f76f4e5a840ea6da6d","datavalue":{"value":{"amount":"+0.85857296","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":"Q3191203$B6EB25A3-3B84-4723-BB9B-A77A092F6083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa95e22327925cc9f6612512d3bc9000bebc1e49","datavalue":{"value":{"entity-type":"item","numeric-id":1964360,"id":"Q1964360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccac6d041edb39943c399435256f1237e088b118","datavalue":{"value":{"amount":"+0.8545277","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":"Q3191203$59774E95-257D-4D06-9C26-EC547F42C67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfe0e38558d3711d3563cf0c7da888dec495eee0","datavalue":{"value":{"entity-type":"item","numeric-id":5949296,"id":"Q5949296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1e3bc2454a8af0657619158124ad2e87dfae297","datavalue":{"value":{"amount":"+0.8516013","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":"Q3191203$8C41F998-4A6D-40B9-8047-568807CAAAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2558c3bef6958a5d94d31e4cfc3d3cc9a2447820","datavalue":{"value":{"entity-type":"item","numeric-id":1641156,"id":"Q1641156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4beff0cd598164c07db7d11064bd58a7d843f6ab","datavalue":{"value":{"amount":"+0.8507114","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":"Q3191203$F325A986-2213-45FD-AE85-8C6FBA46B251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a759e42b1a94b461ea429101947feb33d8d27eb","datavalue":{"value":{"entity-type":"item","numeric-id":2707068,"id":"Q2707068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af87d5acb165ce523f5e6996adbe58238b7ac42a","datavalue":{"value":{"amount":"+0.84889656","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":"Q3191203$D9CE5E6C-2AAD-4572-A545-84CB3EA80989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f749f33954c5c8918f2a61e94ee8853554c606","datavalue":{"value":{"entity-type":"item","numeric-id":2904397,"id":"Q2904397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38c24f4a05705dd4cbf05717bb84c88d02377f4c","datavalue":{"value":{"amount":"+0.8486476","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":"Q3191203$DDBA3C77-3A1E-48C2-9945-5FD4DD0400AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6354cc2c58b381210bec6e750f8fbf5cf6db7cbb","datavalue":{"value":{"entity-type":"item","numeric-id":1822964,"id":"Q1822964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44d708645bb53fa946438c1b562022e0dea92882","datavalue":{"value":{"amount":"+0.8484573","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":"Q3191203$E48E366E-0CA2-48EA-A287-61A54814B6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42b3b55327b969ce1c4bce92666218d1afe53e77","datavalue":{"value":{"entity-type":"item","numeric-id":1854345,"id":"Q1854345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca19560d17d2cfff0f6655788debf57c6d31a08","datavalue":{"value":{"amount":"+0.8481683","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":"Q3191203$2CD6C290-4C31-451B-A5EB-C443AD219D3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Note on a Problem Posed by D. E. Knuth on a Satisfiability Recurrence","badges":[]}}}}}