{"entities":{"Q3714045":{"pageid":5743951,"ns":120,"title":"Item:Q3714045","lastrevid":50581220,"modified":"2026-01-14T11:27:25Z","type":"item","id":"Q3714045","labels":{"en":{"language":"en","value":"The completeness of a predicate-functor logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3941495"}},"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":"Q3714045$A41B16E7-5C01-4EE1-9D45-D0DAF560D86B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"916b59e47f61bc9d24a4ffd23ddb20c017db4211","datavalue":{"value":{"text":"The completeness of a predicate-functor logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3714045$640CA295-16A3-4675-B978-CF9077072501","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0de337db052c5208bc5e102a3b44f61b8e8dbfad","datavalue":{"value":"0587.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714045$BED0809C-7619-4AE7-8E25-A2FE95E0D82C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e57d52b132a6aaa34ae7e6ce64e5ab2a297bd506","datavalue":{"value":"10.2307/2273980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714045$E4A4E579-C3AB-41B7-AE0D-F004F3EC1083","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c589a6256afe2743b436fb316de98ee1647acf23","datavalue":{"value":{"entity-type":"item","numeric-id":758998,"id":"Q758998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714045$F902B7E5-58F9-4B68-9B87-C0DF83A2812D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714045$B9762D5A-BF8A-40FF-9005-D4C7F8AEE3EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3714045$F8B92A5C-755E-4155-97AD-DDD0CE6AD329","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714045$26A129AC-3240-4EC0-AD89-45E969A3E58A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2073054ecea66fe5d424f624b2cdbc0d854e16c","datavalue":{"value":"3941495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714045$FD1901B4-16FA-4798-9EA6-EB553A0A16F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714045$4DD0F549-EAA8-49E4-9020-86E2B76A7CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ea7bb225dfc0f1ba88b53ac8e959b98d283c0d","datavalue":{"value":"semantic completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714045$8B08D8F4-4B3A-4CB9-A849-4D09301F6116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714045$7F7AED8F-5DC9-4E93-8863-09616641FC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"879b1a649e6e150fadc51ebc2ece058bd7b307d1","datavalue":{"value":"first-order logic without individual symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714045$98D904CD-4EAE-4389-84FC-35F4CCFC2905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"775227bb73079640d8b4d57f94433ec19b50020f","datavalue":{"value":"Henkin model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714045$8466E68C-86E3-443A-9096-D8866A3A64F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90e7e1699fd2127f9bf4f6635807cfd447240fea","datavalue":{"value":"multiple maximal consistent sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714045$2EC13F81-FBD2-408C-A239-688CAFFF5894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa0f9546112e62ec6cddfd4b77956efc6f3ce2da","datavalue":{"value":"Traditional Formal Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714045$20D9197E-E160-4CDF-94CA-B7BFDF6546F3","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":"Q3714045$0E69BF0E-EDF4-4FBD-A1F1-48C495BE53C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e8d92bbcb0c9818add87f88cdd794b6078579be","datavalue":{"value":"https://doi.org/10.2307/2273980","type":"string"},"datatype":"url"},"type":"statement","id":"Q3714045$FB2EA7F9-E28B-46A6-AAD6-687C9998E38A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcc0159d09d5940491da3291371323aa0fe88d43","datavalue":{"value":"W2006712173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714045$DB8BDFAF-786A-43EA-B5E5-9C7C1916857E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a186a9c321a0804ef888e42e702eb98d42d8b0","datavalue":{"value":{"entity-type":"item","numeric-id":754174,"id":"Q754174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714045$74E6D9B4-C151-48A4-A3C8-58827D372996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3364b438993d8c55e38490b64f2bef8fa1a5d465","datavalue":{"value":{"entity-type":"item","numeric-id":1153908,"id":"Q1153908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714045$41834B06-1CEC-4BC4-AD7F-ED0E8AB81ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0f4cf4ff644c5a2ead5e80e32317fa095ea47f7","datavalue":{"value":{"entity-type":"item","numeric-id":1150594,"id":"Q1150594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714045$A483E16E-8427-4E0B-9A2D-9F72F43460B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9e3eeb6fc1270be8c89ab76700fa7ee3d9028b3","datavalue":{"value":{"entity-type":"item","numeric-id":1141628,"id":"Q1141628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714045$DDFD8695-E135-40CF-B4F8-BA19B94910CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fefcad5bfed208add63c85edfe02821b1a9be40","datavalue":{"value":{"entity-type":"item","numeric-id":3241233,"id":"Q3241233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714045$23240440-E5D8-4603-BF28-3500DFF8429C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09d3b8cc622a053b9786f9852243859183e47cb","datavalue":{"value":{"entity-type":"item","numeric-id":3272466,"id":"Q3272466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714045$56FD2646-41BB-4C12-9E3B-3A13089FCE46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56f01351e1791b4a5255b43d9fe32de2206839c0","datavalue":{"value":{"entity-type":"item","numeric-id":3325693,"id":"Q3325693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baa243d42392e2a62dcbc07d9ba554b21ddfb5fe","datavalue":{"value":{"amount":"+0.7923761606216431","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":"Q3714045$8350ACD0-B1BB-4B52-AFA6-DA7EA23EBAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7ffd5b8356d5500fc8f0c5776b643ea3865cbc","datavalue":{"value":{"entity-type":"item","numeric-id":3765741,"id":"Q3765741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"586e245c2a8c7ee0908e02a1eb28644a06c332be","datavalue":{"value":{"amount":"+0.7696083188056946","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":"Q3714045$C71AC85F-40BF-4E9D-AF07-1C374968C0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab63c5076c9d4f93a5121b9a9ad68047086c5e29","datavalue":{"value":{"entity-type":"item","numeric-id":4329237,"id":"Q4329237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f003bd34202b29ab7e6110aab1c141376bc0c8d","datavalue":{"value":{"amount":"+0.7412611842155457","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":"Q3714045$75EDC3AB-EFF3-47C8-89A5-71FF751465F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"203dfa0be8fd5f0aa849dae8c07d1a3d965f2b53","datavalue":{"value":{"entity-type":"item","numeric-id":3466613,"id":"Q3466613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"425a036399f3938ddfa523a950aa6ce76173da96","datavalue":{"value":{"amount":"+0.7362924814224243","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":"Q3714045$090AD5A1-73AB-475C-9806-8A23544475B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4cc52a4c854ce44cc381e2f8dd6f34e196c81e3","datavalue":{"value":{"entity-type":"item","numeric-id":4943268,"id":"Q4943268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c188d2ac5effe5946efc77d2eb66e63c4b746b2","datavalue":{"value":{"amount":"+0.7300083041191101","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":"Q3714045$302431E1-8028-439A-A678-88793117A805","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3714045","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3714045"}}}}}