{"entities":{"Q1088983":{"pageid":1099735,"ns":120,"title":"Item:Q1088983","lastrevid":66912030,"modified":"2026-04-12T13:41:29Z","type":"item","id":"Q1088983","labels":{"en":{"language":"en","value":"Henkin quantifiers and complete problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4002077"}},"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":"Q1088983$293420A8-0DD4-43CD-A448-1B75B967ED76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4dafb77fc16e714c35b02bf8290b42ac6bd4a72c","datavalue":{"value":{"text":"Henkin quantifiers and complete problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1088983$581D889C-2408-44A9-84A9-8882B4AA5758","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"320edc9fe65f0734a52da8259654eea6ef6a88a1","datavalue":{"value":"0618.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088983$DDA50582-3A50-4D46-9F74-807FBE9209CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcd13529fdcc8faa9e5a7cd2770d24da0503421f","datavalue":{"value":"10.1016/0168-0072(86)90040-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088983$DCA735C6-35AE-45CF-A421-3B73B5C8A69C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088983$EBBDFE7F-DBFC-476A-BD7F-29B69C41E8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088983$31D163A1-D449-4DE6-A95E-02C095428723","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088983$8663BF2B-CBB2-4229-9153-3A2F1B5FB963","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1088983$6C740FD2-42CD-4CEB-9487-17B98682C807","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40f52fc1a23aab8a27d037da3745f77c3d3ec641","datavalue":{"value":"http://hdl.handle.net/2027.42/26312","type":"string"},"datatype":"url"},"type":"statement","id":"Q1088983$C6447D08-DE2A-4D1C-8DA9-D778EDBA9EC7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"da471377ca1df8fe4f6251b3c5bdcdf9a61600cd","datavalue":{"value":"The authors analyze computational aspects of partially ordered quantification (introduced by Henkin) in first-order logic. They show that formulas obtained from first-order ones by applications of Henkin qantifiers are able to express \\({\\mathcal N}{\\mathcal P}\\)-complete properties of finite structures. However, Henkin quantifiers of one extremely restricted sort (narrow Henkin quantifiers) express exactly the co-\\({\\mathcal N}{\\mathcal P}\\) properties of finite structures.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088983$DD9F0B8D-DCB0-4C87-85A7-700EDBEEEF3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088983$232A67BE-F1AE-4BF0-94DC-B8A064EB4508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088983$9A7FF288-49A4-4DFE-B840-2235D868C2BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cd60eaa565ec1cc3fea66a8c089ad125854f037","datavalue":{"value":"4002077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088983$C19029B5-1C5D-49C8-80D3-8B7A8BB8ED98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1572d02cf34fb9a5808ffcd84850d7f020a01601","datavalue":{"value":"computational aspects of partially ordered quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088983$697E399E-FA7D-4AC2-A805-24D98C2323D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088983$BE8EFB35-24A8-41C8-9CF5-247F25146392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2facd221923737f8dac26de7e04d8eb419c13ca7","datavalue":{"value":"Henkin qantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088983$5B52311A-CAC9-4186-ACF7-29AC5D5ED56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"272353d6d46c6571483c42a092b500fdce9e3936","datavalue":{"value":"\\({\\mathcal N}{\\mathcal P}\\)-complete properties of finite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088983$CAEC3757-B8C3-462B-8BF1-8697CA9A4983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8586721a670f17ba1c96a8a42f8be578722509d","datavalue":{"value":"co-\\({\\mathcal N}{\\mathcal P}\\) properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088983$875F8978-A332-4175-BFFE-C6ACE4393299","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8108503f9c3f3c82dd4a51f4d60b9293a9dc66aa","datavalue":{"value":"Q56763808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088983$D8D4BBA8-FB1C-4E07-934F-4FCFB81C3465","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"59699d8ba436c4690eab2e3c0ee0a7ef0d967cec","datavalue":{"value":{"entity-type":"item","numeric-id":1177040,"id":"Q1177040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088983$E33FEFFF-F20C-412B-9DF3-183C2EEF0994","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":"Q1088983$DB98CA25-DF80-4056-ACA6-B004356250BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b87583b7fd434a1c5bcd78bf1ea49a3880de2f51","datavalue":{"value":"W1988735961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088983$84BA87A5-4C41-4A83-8260-5A7FAF1FE2F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04675bb682cee8b380566c06e9ed1f4ceed15583","datavalue":{"value":{"entity-type":"item","numeric-id":5588598,"id":"Q5588598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088983$60A7B497-62D9-4883-BE9A-4887B6D37823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088983$39A2243A-E719-4B70-8395-768475CCB291","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":"Q1088983$22FA431C-A591-435B-A661-1510C06DDF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632317fe51438065bf57941f71730a4664ec3cc8","datavalue":{"value":{"entity-type":"item","numeric-id":3758820,"id":"Q3758820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088983$2DEF4E77-EFEB-44C3-AA69-674B289EB594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84bd76844b21485d286eaeb4b4a2a5be88661157","datavalue":{"value":{"entity-type":"item","numeric-id":3869315,"id":"Q3869315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088983$B04E7DEB-E0E6-4112-ADCD-FD0A7D1060E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be154b266f49b889b70e2e16e1ef5f70c091bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5732647,"id":"Q5732647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088983$55EAFF9A-67CB-4DC1-8767-16030F97310E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d396cb7909eb8ef7cf9892a2d4d1be562fcbdc7","datavalue":{"value":{"entity-type":"item","numeric-id":4109298,"id":"Q4109298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088983$6110F1DF-DB15-4A9C-BC7B-8487CCAE2050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088983$E2D6603F-660E-4D44-A5FA-2DD7352E647A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca7bf9ff748343f2efbe736997f3fd4b0e9f589","datavalue":{"value":{"entity-type":"item","numeric-id":5623654,"id":"Q5623654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088983$F0802BA2-C052-4E32-B574-72555FDC79C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27bb16c56b01b547484be486ea212678e509d907","datavalue":{"value":{"entity-type":"item","numeric-id":5028310,"id":"Q5028310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"708bcb4566bc16d7492c3cfdb50d07d321c3ab93","datavalue":{"value":{"amount":"+0.9235978","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":"Q1088983$B6156916-0E9F-4074-9B16-000D596916BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2024be0f1a9ecb7a1a909f6b0ab570c0c3ed23e6","datavalue":{"value":{"entity-type":"item","numeric-id":1198829,"id":"Q1198829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc6e131e74cb2c11ee4a5fa3af0929ea84fa1026","datavalue":{"value":{"amount":"+0.91245157","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":"Q1088983$6AFD4FFF-21CA-4758-821A-833C56A1A87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da6778f0e2be7ef4cce15a8de2f73d0b2989082","datavalue":{"value":{"entity-type":"item","numeric-id":3794168,"id":"Q3794168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7637dcf920fde3c1e02bcf32d6a0e203544f841f","datavalue":{"value":{"amount":"+0.9106264","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":"Q1088983$BF1FA43D-E39B-4977-A2A6-9F807E9E1AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074af5759ffdf1f1349822ccbb36965394aba7bc","datavalue":{"value":{"entity-type":"item","numeric-id":3789541,"id":"Q3789541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04ddf0ab5a82d31fb158095cebe642f8fca68931","datavalue":{"value":{"amount":"+0.9062841","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":"Q1088983$E107742B-C1AF-4C42-B5B4-0BA43AB29301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6206581fe31d3603075a02cb73b5ee14e48a981","datavalue":{"value":{"entity-type":"item","numeric-id":1121872,"id":"Q1121872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"757f56b3e59cc99ebe61e81f4a353f990bd8c19f","datavalue":{"value":{"amount":"+0.906284","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":"Q1088983$72CE6C9E-EB73-48A6-8D66-74AC3912346F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"622030b6da37e87ec58f98fcd2a9e6264265f05a","datavalue":{"value":{"entity-type":"item","numeric-id":3454815,"id":"Q3454815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7adc03982b574c941181854ff6ae6997f58431b5","datavalue":{"value":{"amount":"+0.89731556","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":"Q1088983$0A414886-2CCA-4C51-A341-A4CCD0BA3331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5e70aa5b401bbb89354d3efef93f834cda1666","datavalue":{"value":{"entity-type":"item","numeric-id":2843328,"id":"Q2843328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"633fda137c2c2632d56cab8eeb9941efc566415e","datavalue":{"value":{"amount":"+0.89664066","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":"Q1088983$43EB4654-5825-4B4B-ADF9-71AD1AD7C5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64fc3512c59ddd456dbe86095dead2a780ae8735","datavalue":{"value":{"entity-type":"item","numeric-id":3613351,"id":"Q3613351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c37fa21887d7c3cfa994073c87418e3f09d3491","datavalue":{"value":{"amount":"+0.89638627","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":"Q1088983$2B54513B-D957-47C5-AA29-E30143545000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20ab19ee3276b2a882948f4cde405e8d5899e82e","datavalue":{"value":{"entity-type":"item","numeric-id":4983362,"id":"Q4983362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59a427b8189662786dbe7daf266672ef879a675d","datavalue":{"value":{"amount":"+0.8903538","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":"Q1088983$C9C4120F-1465-4A8C-A0FA-8B1DBDD02722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10600d07e4714d506ec5c96586184648d2b5436a","datavalue":{"value":{"entity-type":"item","numeric-id":2947240,"id":"Q2947240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f000297e3083695cebc9c052d9f41e9eea92ad0","datavalue":{"value":{"amount":"+0.88728184","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":"Q1088983$B313DBDD-73D0-4D75-959D-6F44CC8B9C8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Henkin quantifiers and complete problems","badges":[]}}}}}