{"entities":{"Q2696689":{"pageid":2707433,"ns":120,"title":"Item:Q2696689","lastrevid":56084961,"modified":"2026-03-12T13:46:04Z","type":"item","id":"Q2696689","labels":{"en":{"language":"en","value":"Computational complexity of theories of a binary predicate with a small number of variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7675140"}},"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":"Q2696689$D63BCF39-3EE5-4A00-AB52-D6527F6F0454","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfb823aa7487078e7e11e7623dc29d910bad5495","datavalue":{"value":{"text":"Computational complexity of theories of a binary predicate with a small number of variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2696689$91CED1B2-AE65-478E-B088-B64018D34FA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9c764ec43e40f2cd52b4ef3c8acec8720619ebf","datavalue":{"value":"10.1134/S1064562422700053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2696689$F6024948-2402-4F08-AD19-398F4B7C2A6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$15C0F0AE-9C59-4106-A09B-644BA49BDBC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$A8855445-D29E-4BDD-9166-23B0735889E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b263d5295cc97d9d2de9006ed9ca8239afe0517","datavalue":{"value":{"time":"+2023-04-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":"Q2696689$75DF92F6-CE8B-4060-8149-F5E1FD8F1D87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2696689$07681355-7A27-41A1-9A40-638721EB0882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2696689$44CDF309-4797-4602-AE1A-1CDDA3772ED9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"184b918d7184f77e7adcce481ed0d0cc99b65132","datavalue":{"value":"7675140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2696689$3F71EEB6-8E6B-44A1-9C88-8E6A1E39E674","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2696689$E46669F8-7127-4D7E-8172-06566EEC2BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e64fbf9dfc4792d0f50484bc4dda68182ca0e147","datavalue":{"value":"dyadic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2696689$C3D12C36-0966-4383-86C3-F857534A3947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2696689$B9F6AC42-995A-4416-86A7-2BCB27B8C6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67ac823e704e5102d234765c1980bd3cd14c1e5f","datavalue":{"value":"Church's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2696689$18BFD850-8C39-4F29-9913-FB82F249FBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc7848e1074b769dd5cff1158ab1773a5233a6d","datavalue":{"value":"Trakhtenbrot's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2696689$03E5FAB4-7017-4B63-917D-8ECB5C44BD57","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":"Q2696689$CEC69FDB-3088-45BA-8229-6913F8D69686","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$17B5561E-8E5C-4CCA-8106-8FEE498AFE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4c6dd6ab9c729d47d83683aec901c0cf8bce0e3","datavalue":{"value":{"entity-type":"item","numeric-id":1906521,"id":"Q1906521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$E900B75D-87D4-4813-A58E-A3493CFDD30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54c675b5f321bb111756a7e5b1af4bf61c7ea9b","datavalue":{"value":{"entity-type":"item","numeric-id":3525239,"id":"Q3525239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$6D479DA2-C3C7-4A10-8D14-FEF82C761A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58f6cbf88e390341fec6dad361e4209d977953dd","datavalue":{"value":{"entity-type":"item","numeric-id":5846270,"id":"Q5846270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$15FD1C0C-3BC2-4725-8D8F-0A83EEDF29FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$0702EB03-ECC9-46AF-8F2C-DF0C0A3BC607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$58254F59-EA89-4512-82F7-B73448D2EC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$F0E8E08A-AA2C-418D-AD3A-D91A991313DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceee423f2871a02f0107d5afca7ea76f0467e56a","datavalue":{"value":{"entity-type":"item","numeric-id":1306795,"id":"Q1306795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$811E15CE-7CFB-416D-923B-C2E0A469CC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$B74FE8BF-7A0B-4DDF-B6DD-FECC14108DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3e0bf6d66ae7c4b6b46e88d6d5b96072d8e8fa","datavalue":{"value":{"entity-type":"item","numeric-id":5597521,"id":"Q5597521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$CF1D1BE1-F249-4954-963A-02CFF8FA3103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f0c694f7bb354e4f1d2bf175772968ce486531d","datavalue":{"value":{"entity-type":"item","numeric-id":1812887,"id":"Q1812887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$8581A9D0-E225-4E16-B098-272441647025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca2c7f7b07a73ca437865987556ae48efa9197a","datavalue":{"value":{"entity-type":"item","numeric-id":1293238,"id":"Q1293238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$E38C4FF5-3E9C-4795-85B2-E9A09ABFB6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae402495081f71687673aa90b26969eeb53d4e38","datavalue":{"value":{"entity-type":"item","numeric-id":4529490,"id":"Q4529490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$A9DE90AA-F3F3-4F86-AA0D-610BDE16EB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54025300fda40ddfae03f3a130ec09252127cc5d","datavalue":{"value":{"entity-type":"item","numeric-id":3370616,"id":"Q3370616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$5C1F36F2-033B-4156-A47D-66AF32DD7EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c66dc9b933fe59568215e549a3e1ff8b8373fee5","datavalue":{"value":{"entity-type":"item","numeric-id":3382820,"id":"Q3382820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$D40D11BC-6512-48B2-BCD2-749C61D2BF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c48db000156cd9546f9890271c4f06113a6b2b","datavalue":{"value":{"entity-type":"item","numeric-id":5059700,"id":"Q5059700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$C1103289-55AF-406E-936C-8EE7BCFF93B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0642c6433eb0e2856b8e1c61578fc52e26cf85a2","datavalue":{"value":{"entity-type":"item","numeric-id":5731786,"id":"Q5731786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$DBEFBC2E-FA01-400B-BAAE-A97373F8F4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34bb0b25ff34be6e1e00056ccf93704c7dc2f097","datavalue":{"value":{"entity-type":"item","numeric-id":5817396,"id":"Q5817396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$FA4E20F4-4B09-4B51-967A-35E05B1CECEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce200084adecb8f68f1a9df0d30109bbf00bda09","datavalue":{"value":{"entity-type":"item","numeric-id":2957964,"id":"Q2957964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$6E98138E-1C18-4CAB-8FAF-782B0CD06A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9725a65698f7598808da2e2091ed170cd9a7d90f","datavalue":{"value":{"entity-type":"item","numeric-id":3916564,"id":"Q3916564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$385B1268-4B7D-48EE-9949-D232C331298C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adcd56a0617efad5383d484676cc25701bc6e22","datavalue":{"value":{"entity-type":"item","numeric-id":4358053,"id":"Q4358053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$F123DCBA-A33D-4984-81AF-C734FD31E83C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123f71d60089e92ea4b54a8e9dca0d1255ab1bd6","datavalue":{"value":{"entity-type":"item","numeric-id":3986920,"id":"Q3986920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"939a2930904abfb8f235d70934572cc1650936e1","datavalue":{"value":{"amount":"+0.7231026887893677","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":"Q2696689$D752409E-82D2-4502-94B2-F5665F20197C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d83760fc8c4eac632fdfbc67f6ca9de08a5c388","datavalue":{"value":{"entity-type":"item","numeric-id":3614383,"id":"Q3614383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990e98f3c841db6d55819ba48735ae9547f66f90","datavalue":{"value":{"amount":"+0.7165454626083374","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":"Q2696689$AEBB2545-3D6B-43E0-9D8B-7AF240D15FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e2ce5cd085b9767c537f736f568f17ee33d2d1c","datavalue":{"value":{"entity-type":"item","numeric-id":1088647,"id":"Q1088647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d7f18e4fdafe0550c2f6f2b3d35e879a96915a6","datavalue":{"value":{"amount":"+0.7148599028587341","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":"Q2696689$6D97CC6E-BEF8-4844-8CD7-15C7320EEF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca10c32fc0e60273a3417e6b80c74eeb3fe91024","datavalue":{"value":{"entity-type":"item","numeric-id":3677733,"id":"Q3677733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea8311241450eaaab6b560adc0729eb953c41ac","datavalue":{"value":{"amount":"+0.7140359282493591","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":"Q2696689$661DA406-D714-4112-A7A0-F6CD71CB0C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7f897833b4e0673089a001194fe3cdf2e673339","datavalue":{"value":{"entity-type":"item","numeric-id":868664,"id":"Q868664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4e6c87ae64fcecec67e13f81d3d36afb5252fa","datavalue":{"value":{"amount":"+0.7103944420814514","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":"Q2696689$5C7BC3AF-D778-4539-A8BD-1054725AA4B5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696689$22E77145-CF9E-410B-978F-7EFF074F93BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2696689","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2696689"}}}}}