{"entities":{"Q5365517":{"pageid":7395091,"ns":120,"title":"Item:Q5365517","lastrevid":40732029,"modified":"2025-04-04T12:29:28Z","type":"item","id":"Q5365517","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6787706"}},"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":"Q5365517$00281D5D-6DFE-407C-9C8D-BD7A7AB357FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4891c157d14efbfd0f190b06bce7ef9d37a25465","datavalue":{"value":"1410.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5365517$24985AF0-1435-4208-9332-CC68DD8AB3B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"263eeecf5fab337e7298bbbb0776724fc4b70b16","datavalue":{"value":{"entity-type":"item","numeric-id":175259,"id":"Q175259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5365517$82F96B50-48CB-41B5-8474-877B796E715E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"695616c5b4ef01d1f1677c41fec2326bc5390a4e","datavalue":{"value":{"time":"+2017-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5365517$1E3B5F65-DB5F-4504-8245-7F6254C69C0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5365517$5133DCA3-A0F3-4564-9668-3294E6ABEF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5365517$0DC28A07-BD00-4C80-BB8D-C8798F01D833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5365517$573ABB69-F018-4158-A362-6718B62E9774","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02130da2261ccbabe90bd2e131b411f87821003e","datavalue":{"value":"6787706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5365517$71B31061-2622-4CB9-93B1-D06283D58714","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af142e9692cfc8bf7e64dd74c54f95c870c5dcb2","datavalue":{"value":"completeness proof for classical first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5365517$2D96C5BF-2E32-4723-9F6C-03005460B487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b845381c05b98dc7707d6cbaf4deb6368185e8eb","datavalue":{"value":"Lindenbaum-Henkin construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5365517$AE663ED9-986B-42A7-BD77-B1FAB88FD491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b695804eda358a6aa88afb864d83be17947bb21e","datavalue":{"value":"general elimination rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5365517$D76C883F-91B0-496B-9318-8973DE7442CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c75727190d9342ffb4121d49600ebe06fc49533f","datavalue":{"value":"general introduction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5365517$6F6EBD52-E750-44FB-AB5E-1EBBFC51364A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f2bb4cb2bf08906d22a2bc1f32a4e70e1d900f0","datavalue":{"value":"Craig interpolation lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5365517$8B95E3CB-DD70-44B1-9949-A59A31EC96B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3b51d02397495715249cd4f038ea171df650007","datavalue":{"value":"Kleene's strong three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5365517$62ABD06E-7721-45EB-BEA8-190703B4CDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd2bbae042bf7bb24a34d5d3c3311f6cb0cfe348","datavalue":{"value":"logic of paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q5365517$053E1F57-E908-4871-9311-36D27306F977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4230389d8c331710cc2e42bee8fcf63b091aeb4","datavalue":{"value":"\u0141ukasiewicz's infinite-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5365517$86CC3077-F326-4945-BBEC-23AE9CBACE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4605262f950382e87dc58df46038532164191769","datavalue":{"value":"contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5365517$230F79A4-2833-43ED-BFF3-76B951E35465","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":"Q5365517$1C2A1629-DE30-4466-A1FE-CFF637804165","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672ec8ece66170e3c96eda03448c82b0194333ce","datavalue":{"value":{"entity-type":"item","numeric-id":4295220,"id":"Q4295220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8974c150f9ddabeccfb01f9c2954b7b284e045c2","datavalue":{"value":{"amount":"+0.9146139","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5365517$2E962B03-F5C1-45D4-8137-E702ADF57EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fead496fcba1e8a042826e3736154c92eff3c98","datavalue":{"value":{"entity-type":"item","numeric-id":5259655,"id":"Q5259655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b577819c8b0980db4a5ea58cf2efafbbb16bb6f3","datavalue":{"value":{"amount":"+0.90688074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5365517$3ABAA831-D90C-42B2-ADFE-722070704F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536201b9d276e0e0d8dbd107688f50abd1bf1590","datavalue":{"value":{"entity-type":"item","numeric-id":4695326,"id":"Q4695326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b07f486c559bad52832b064eec7ddb15b5a7890f","datavalue":{"value":{"amount":"+0.9026492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5365517$0560ECC2-42F5-4097-AA4C-70FA3592E4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f26ea6bdf16c25aad4bd06e5935a8dbbb5dab1","datavalue":{"value":{"entity-type":"item","numeric-id":5883190,"id":"Q5883190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce52f85f4542ffb9b9cc40c266150f0564ef526","datavalue":{"value":{"amount":"+0.900892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5365517$1AF25B3C-CF9B-40CF-92BE-1F87A684BE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d110f87b773c3c5f12c078339b2d1360fb9ffdde","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c05d19276416b5f9eb75a49b5295564eb84da570","datavalue":{"value":{"amount":"+0.8924102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5365517$3F41E058-2CAF-4061-B2C1-A8935DE8C486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af75d293a8573458ebc2d3cebe52e431c16ca007","datavalue":{"value":{"entity-type":"item","numeric-id":3470448,"id":"Q3470448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b59a97ecf6b7dc2da8f72d177c3a8cf61a67a98","datavalue":{"value":{"amount":"+0.8906007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5365517$6FF4AEA9-9039-4C91-9715-CF9C45CC0FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f76a4115cd60a2be72db49ad07f3250a45e7287","datavalue":{"value":{"entity-type":"item","numeric-id":4247298,"id":"Q4247298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac8eaa78bb55067ff8d8dcc19dc2cc711837d0ad","datavalue":{"value":{"amount":"+0.88973206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5365517$2BC8974D-280E-442B-9657-FF839C952351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d512e4d7fbb7b4829d2db37f2a5c7449e46d0afa","datavalue":{"value":{"entity-type":"item","numeric-id":1711878,"id":"Q1711878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55818a57ae297c1e488f209e51ce42b75ea00b2","datavalue":{"value":{"amount":"+0.88678765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5365517$7F3ACAFA-CDCB-4219-AE17-F94CCC2D7C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def43f25b01aa63decaf62908c7a80e2a0b59d8c","datavalue":{"value":{"entity-type":"item","numeric-id":1203786,"id":"Q1203786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4658f4daa4793255e43dbb559cad3347a3878ad","datavalue":{"value":{"amount":"+0.88669","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5365517$E9AFDE20-648C-49BB-807C-E8836BA4691D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c38ce4248f9c99362def453a03395bbd26cea89","datavalue":{"value":{"entity-type":"item","numeric-id":897935,"id":"Q897935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be1bf5eb58b2fe7de64ca14721465434d4f28b7","datavalue":{"value":{"amount":"+0.88494927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5365517$B3E056A2-C818-4A9F-B192-5EF9FD335FBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5365517","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5365517"}}}}}