{"entities":{"Q2350974":{"pageid":2361717,"ns":120,"title":"Item:Q2350974","lastrevid":52291454,"modified":"2026-01-21T09:11:32Z","type":"item","id":"Q2350974","labels":{"en":{"language":"en","value":"Semantical completeness of first-order predicate logic and the weak fan theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6450813"}},"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":"Q2350974$E0C43374-B239-4B41-938B-B2CB9058ADCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c081bb870df8184a9512acc9abf7b945f1536919","datavalue":{"value":{"text":"Semantical completeness of first-order predicate logic and the weak fan theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2350974$9EA2AE20-0174-47DA-AD54-4BCDA0700AC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da48d9eccf6e7ca1bf72a75fdb23804666d749c7","datavalue":{"value":"1378.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350974$F31E9DAD-7E60-46FC-84C2-C4D97FB20B0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350974$D475DB1D-00E9-4309-A880-79B6410FA6F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4795efe26ace72ea33e5b50072c8db0e5047722","datavalue":{"value":{"time":"+2015-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2350974$987B537B-1416-4FD4-B2DD-BF6CFF166E65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350974$FB7C2364-B940-4DE1-833D-E0B86B627361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350974$DA1A7753-E59E-4398-A830-00FF5FFF198E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350974$CD89AEAD-0CBC-4BA6-9872-0AA2236C035D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da8c222a56996cc8c5af1d61339789508e9494cb","datavalue":{"value":"6450813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350974$11A14EB0-3616-4CA7-A92E-BEC7CD584DF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cee31b109bfd0275ef9410b844f3bfc242cf31","datavalue":{"value":"first-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350974$7DD09C37-1DB9-4EFF-8731-63F28E6B29F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d54771bfe51e9d10f494511c79abbe7d90cd697","datavalue":{"value":"semantical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350974$07D1DE32-A0E3-45E3-A9B2-56B551791FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459e528a06d4f7d503212c5810765010cda5cffc","datavalue":{"value":"weak fan theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350974$48FA3A3E-C9F9-468E-8A30-13CECC0E75C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab8df4cb13a509b9920268449820b6d1c56d9fb","datavalue":{"value":{"entity-type":"item","numeric-id":708926,"id":"Q708926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350974$B0B11703-753D-42E8-84EE-33D143A6ADDF","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":"Q2350974$83EDC831-FD5F-42EB-B04E-89B1BC0BC71C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e975aa2765c33f9516a96b8f1fa6093195ddb68","datavalue":{"value":"https://doi.org/10.1007/s11225-014-9582-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2350974$BAD48AC0-F368-4FC0-976D-BF28A02254A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"174f49dfc35c4c49b5e234d144337acf376d481a","datavalue":{"value":"W2057179252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350974$24D75590-F6D3-4C3A-93E6-9E0443B74B37","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc9c5f4d2a3665ff37b68ff31d08bc5eef515af","datavalue":{"value":{"entity-type":"item","numeric-id":5611760,"id":"Q5611760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350974$A37DA4A0-5DEE-451B-921A-F4DF84E9EA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59c2041991d762582a33a84b533a59ba8db1f00","datavalue":{"value":{"entity-type":"item","numeric-id":708927,"id":"Q708927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350974$9E5F3129-F0FA-4624-AC42-5B276900A29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e627bd511857fd09736aa70a3f745cbd1bfe71","datavalue":{"value":{"entity-type":"item","numeric-id":703836,"id":"Q703836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350974$B6128A56-6F04-47E1-BBEE-206E644097C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14154999be7ea0ad567942cef9734b9fb07fe517","datavalue":{"value":{"entity-type":"item","numeric-id":4109646,"id":"Q4109646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350974$76AF25E4-020E-48F8-AE83-1C603B2691E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350974$1C7C1D1C-B3E4-4DED-9E25-AE4D56452726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475cbdbbb7f14d6e3e0d9483dc4949b7a9efba76","datavalue":{"value":{"entity-type":"item","numeric-id":4126319,"id":"Q4126319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350974$A20C8910-6EBC-4963-B717-BE892E01865D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff917a23bf4a00c40328c768e3bf16ad04f3002","datavalue":{"value":{"entity-type":"item","numeric-id":3613310,"id":"Q3613310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350974$9269E464-51A0-4FA0-9014-B974FE1B0BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edb13f668b2a4f36c88de241d9c7f45446b194e","datavalue":{"value":{"entity-type":"item","numeric-id":403410,"id":"Q403410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350974$DAB80DE3-633B-4BD8-B7EB-6BEFAB446D03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"486c2d24682ad2c48d566ee0d5fc0e073af922c0","datavalue":{"value":"10.1007/S11225-014-9582-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350974$E652A3C6-0DCE-4DF8-957C-1CD335E6B698","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1cf0092b223699992e363dfeb119325463eb344","datavalue":{"value":{"entity-type":"item","numeric-id":708927,"id":"Q708927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0d00b77bd01a3a77e5bb9b7502b31fbce88fc48","datavalue":{"value":{"amount":"+0.792884886264801","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":"Q2350974$E6E4B2CC-7F3B-4A0E-8CA0-B9DFBD8CF3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2d0d1b0e346682404fe8c30b1729452860ace99","datavalue":{"value":{"entity-type":"item","numeric-id":286708,"id":"Q286708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0c532bc7940eaf288477d73ee206dab847f326","datavalue":{"value":{"amount":"+0.7844197750091553","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":"Q2350974$41638F4A-0B9D-41F6-B88C-2DBCB9C83F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6219a902f82d046623e238974dc17426cfb10d77","datavalue":{"value":{"entity-type":"item","numeric-id":703836,"id":"Q703836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddedd6f1453b481683b094d587d7328eeb195b23","datavalue":{"value":{"amount":"+0.7777182459831238","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":"Q2350974$CBFC6050-D74C-4DED-89A9-1F711B7B073B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0e888fdcbe9803359bf4363aa72e847572b502","datavalue":{"value":{"entity-type":"item","numeric-id":392280,"id":"Q392280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e256e73da52b0e2ee6b2ba735def57aa3fd0fff1","datavalue":{"value":{"amount":"+0.7707785964012146","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":"Q2350974$694B4CAF-B52A-4B5E-B0DB-FB9B199DDCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19675627a31a6cb8e03497626e39b36034d595b2","datavalue":{"value":{"entity-type":"item","numeric-id":1422103,"id":"Q1422103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aae4d65b924682012e24d2c1313bc97e079b8b6","datavalue":{"value":{"amount":"+0.7634386420249939","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":"Q2350974$9094CBBA-C63B-4F80-B9DC-D80CE3C2F121","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2350974","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2350974"}}}}}