{"entities":{"Q4443416":{"pageid":6473015,"ns":120,"title":"Item:Q4443416","lastrevid":48218419,"modified":"2026-01-04T00:10:46Z","type":"item","id":"Q4443416","labels":{"en":{"language":"en","value":"Higher-Order Multi-Valued Resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2024837"}},"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":"Q4443416$99670775-5FB2-4BE3-BE6C-190C2DB8C279","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b801183fdb2f4076be463c93511e54554b4c5a5c","datavalue":{"value":{"text":"Higher-Order Multi-Valued Resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4443416$28388D8E-3D85-43EC-9298-03D0C22B8998","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea269fc28a952c0ca010a5a86b185085b851f0d6","datavalue":{"value":"1033.03502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443416$854F57DD-ECB6-4757-BFDA-99A483D732FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06cc8bc68535682746d9ab71568c24c54a327be8","datavalue":{"value":"10.1080/11663081.1999.10510980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443416$C1B62BB0-ECF8-486D-8A75-21E3217A587D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2058e152866416201cc45ced58405f55031245a7","datavalue":{"value":{"entity-type":"item","numeric-id":219445,"id":"Q219445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443416$AF108D45-4821-47AD-9FCE-FD66F9EE865C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14ced6fbb7c97bf753d92411b36c6f6947f10e7b","datavalue":{"value":{"entity-type":"item","numeric-id":1279854,"id":"Q1279854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443416$8B633330-36D0-45B9-AAA3-21A266BBD97C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443416$F513DE09-CFF9-45E8-9C00-BEEC793A7204","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0ab96eff1122a31ac6b2c9e221486075774700","datavalue":{"value":{"time":"+2004-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4443416$22EB85B0-6040-41C9-B733-DC7A66CD054C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f158f81f8d6b32b0cbbba817b36c9518a85d59ac","datavalue":{"value":"http://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/373","type":"string"},"datatype":"url"},"type":"statement","id":"Q4443416$5576DB4D-705C-45C4-94CC-9B1BEE601E5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443416$9D23425A-157C-4443-99F5-DB587EAF3C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443416$A5F56516-F5EE-4A50-A111-284A88F091B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443416$A6894D63-C40F-466A-9FF3-0D1ADA57D2B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4ffe6d66630554fcf90ebe80bbe126dec35727e","datavalue":{"value":"2024837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443416$13FC267A-9B63-4596-BFEB-12EA99BF37F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443416$B894A6C6-150E-401D-8FE6-7D6A2FA74FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443416$191B41A2-FD0B-4CCA-BA42-0BDD24F0CDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443416$5D139C41-9814-45AA-AA24-EFCF91D550BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443416$699B2617-D103-415D-9119-3BFDD74FC588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c412b54386baea19edee6616eec71a95441a7717","datavalue":{"value":"model existence theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443416$963B94A8-E4CF-4217-935D-DEEFD3FF6C95","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2f1001cc251a37c6d485cfe85a11af225dfbb5b1","datavalue":{"value":"Q57389431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443416$ABBDE0F8-824B-4DC5-BEB7-0DD58B3E2416","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443416$3152E79E-3BAD-4146-A689-2252D0F7BFB5","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":"Q4443416$92C77E0E-9799-4F15-8452-C547150AB137","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df0d13d648ffe10eff8eb0439c4c7d59eb48a757","datavalue":{"value":"W2088900498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443416$E21FFC12-C06B-4E7D-841E-71B5EDA49223","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea0680adabfd3136a28982fdc321cf3395011301","datavalue":{"value":{"entity-type":"item","numeric-id":4255505,"id":"Q4255505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443416$65758172-CC42-407B-BDE2-5A0CC4B7C377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e469695a6ccdc7d8268978ac58e95413371ff1c","datavalue":{"value":{"entity-type":"item","numeric-id":5753924,"id":"Q5753924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443416$F1D1057C-56E0-4BC0-AC01-F119BDFFC65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443416$9821582B-41DD-4FC6-AB44-C115F11EBADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a196d9b40ee19f53a22a16af09feb57900bbd35","datavalue":{"value":{"entity-type":"item","numeric-id":4524794,"id":"Q4524794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443416$55D13DC4-987A-488B-B738-BF45D17D8344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a954c67c8c5364eb4783da18d0ff09e7ae032e","datavalue":{"value":{"entity-type":"item","numeric-id":4552507,"id":"Q4552507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443416$4D585518-D024-4BB0-86DE-5C471B07A588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4f4d44dc19f26559592a12ba4d75f8fcd246fd","datavalue":{"value":{"entity-type":"item","numeric-id":1201348,"id":"Q1201348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443416$FF2D9952-3753-4A2C-9413-0518E4418DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afb8d07f32ecb5cd5d32645f937af7c81f372a1","datavalue":{"value":{"entity-type":"item","numeric-id":3181122,"id":"Q3181122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443416$9D9A4D81-2C3E-4D2A-9FD5-055B611D2E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf446acc897598830df5ac5eb8171a72e05d534","datavalue":{"value":{"entity-type":"item","numeric-id":1189467,"id":"Q1189467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443416$91481154-C287-4416-99F1-F238F9EA0095","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6021f70475ec456907b1059df7b91dfa79a09357","datavalue":{"value":{"entity-type":"item","numeric-id":1897558,"id":"Q1897558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54af4922fc98eb3151bf1a19092b994d9bc06b2f","datavalue":{"value":{"amount":"+0.8106443881988525","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":"Q4443416$F028E20A-8FEF-431E-B1EB-7CADB084EF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e5bb7ea79d58c5271f1615cc3d8d9d8d59fdb0","datavalue":{"value":{"entity-type":"item","numeric-id":4255505,"id":"Q4255505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55eb9d3d61ab07b91280f609e34c657ce03c464f","datavalue":{"value":{"amount":"+0.8098032474517822","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":"Q4443416$32399AE8-7AC6-4671-A721-2272555B0042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af54e2880b1d9f1bb1a6f99406e59c4bdc2b79dc","datavalue":{"value":{"entity-type":"item","numeric-id":3211281,"id":"Q3211281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a5009b0ba4aba4a13c095c42d736e7326176e6c","datavalue":{"value":{"amount":"+0.8050230741500854","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":"Q4443416$E57FCD41-9027-449B-B869-BAA2CB4B498F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cf76f67380c4606cdc24ddf91ef319c5e832666","datavalue":{"value":{"entity-type":"item","numeric-id":4249891,"id":"Q4249891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7969fb76400b379614656c538d292c805d57e0","datavalue":{"value":{"amount":"+0.7792391180992126","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":"Q4443416$FE333A82-AFDC-4B2C-84CC-5C8D00F9004F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9866f4991bec3cecbb572d128c06ff0e46a0ff95","datavalue":{"value":{"entity-type":"item","numeric-id":4467737,"id":"Q4467737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7969fb76400b379614656c538d292c805d57e0","datavalue":{"value":{"amount":"+0.7792391180992126","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":"Q4443416$0CD055CA-058B-462D-99BC-9E367872921D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4443416","badges":[]}}}}}