{"entities":{"Q5520634":{"pageid":7550194,"ns":120,"title":"Item:Q5520634","lastrevid":41562954,"modified":"2025-05-05T22:12:37Z","type":"item","id":"Q5520634","labels":{"en":{"language":"en","value":"Proof of the law of infinite conjunction using the perfect disjunctive normal form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3232739"}},"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":"Q5520634$28BECDC4-884B-4117-B250-6857F6E90FB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e185cb26ac6c8152d5fe38a011782e0dd2da821","datavalue":{"value":{"text":"Proof of the law of infinite conjunction using the perfect disjunctive normal form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5520634$D80234A0-6E0D-4B97-BC6A-35269930248C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98623074307190a25c2e6fb932ce2bcefce9b6b1","datavalue":{"value":"0144.24403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5520634$4100E131-8C3D-49F2-B816-71EE68CE842A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97143146339fa0a4bc361c844c9103985a5786c2","datavalue":{"value":"10.2307/2271657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5520634$B6DC42F4-125B-4F03-BD7C-2CF79080B968","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9687485b5640dd3d6997bd6a22cdd44c4117062","datavalue":{"value":{"entity-type":"item","numeric-id":600068,"id":"Q600068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5520634$4F12F731-290F-42C6-86BA-B7E9EFC2C94A","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":"Q5520634$79A50B2E-BB70-42E9-BCC5-CDE6E7996A7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7d628e8c937a22d7d86104d43d6122808f1e938","datavalue":{"value":{"time":"+1967-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":"Q5520634$8184E9BB-886F-407E-95DB-DF15B50CAF22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5520634$DE7962FD-D4F9-4CE7-B3AF-6FBDDD530FD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00422adfdf3c5ea3d775f2114fb8efaf160e4bf9","datavalue":{"value":"3232739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5520634$A9D7D833-DB18-4D57-81F0-0D7E893326AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5520634$6DAB3863-A47D-4BC1-9ECB-D99EB59E294F","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":"Q5520634$7143E343-F1D0-4938-AAF5-D37460C8AC5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"812c598b4e63ef12b68142388ec3e74a3eed0c29","datavalue":{"value":"https://doi.org/10.2307/2271657","type":"string"},"datatype":"url"},"type":"statement","id":"Q5520634$16EBF2D2-8BAB-4ABC-9C7E-526065AB26C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae9e264e09ec4d6d87dfc5fe532c1a57188a576f","datavalue":{"value":"W2102858863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5520634$C2A88CFD-8301-4860-8EEF-510E12655054","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b0d252346d5a7aa9bb072988f1ba304f808d199","datavalue":{"value":{"entity-type":"item","numeric-id":5552145,"id":"Q5552145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c6e9619c36aa3357ec2d7ceb920b0e2a26ecfad","datavalue":{"value":{"amount":"+0.85549676","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":"Q5520634$28060109-F99C-473F-8EAB-363E68931898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cbb82bd6d55f04d9ea47f8c3d281f6ef6f9e996","datavalue":{"value":{"entity-type":"item","numeric-id":3638246,"id":"Q3638246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036ff1ddbb2163fc73a41bf4efe5f567fc1edc07","datavalue":{"value":{"amount":"+0.8377588","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":"Q5520634$6C3FC2B9-85AF-42B4-810D-A4B0F8A9FB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11218fbe1f1a18f12bf4e470496b571975108524","datavalue":{"value":{"entity-type":"item","numeric-id":5722255,"id":"Q5722255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb94ea39dbcaf2687509c401b9950f4b75857b3","datavalue":{"value":{"amount":"+0.83518577","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":"Q5520634$F467E35C-8E6C-422B-A4E0-ED808808D402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e125f038a3b71ac7f19516df720a10d6aa3cdc","datavalue":{"value":{"entity-type":"item","numeric-id":1204112,"id":"Q1204112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dece215f2cdd3c470fc9cc0f9254a296c8b83109","datavalue":{"value":{"amount":"+0.8346366","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":"Q5520634$0E446D94-CFD8-4409-ACEA-3304E1B78681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cddfd1cb6d4695172d491318d087a2c6f6c3a1b","datavalue":{"value":{"entity-type":"item","numeric-id":3734369,"id":"Q3734369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19f4858df47a4029168ea35892b806932707414","datavalue":{"value":{"amount":"+0.8321886","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":"Q5520634$C809F4BB-C526-43BF-8866-96074F8D2D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a2bdca56bbea1cb5a07b82192d68fd2446e0829","datavalue":{"value":{"entity-type":"item","numeric-id":5691900,"id":"Q5691900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6018f6a79c03ad60caa6d93d391b011e07f892ce","datavalue":{"value":{"amount":"+0.8257753","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":"Q5520634$AAFBF517-F5B3-432B-9BE1-C29DC2FEF04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80f7f890aa798cd6e0466741dfcb30f0be9af264","datavalue":{"value":{"entity-type":"item","numeric-id":1102267,"id":"Q1102267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"143aa78d6f9eaa7ffdada6d5d718bd8dc7485433","datavalue":{"value":{"amount":"+0.8224866","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":"Q5520634$6B539E54-BDDA-416A-8652-6D0F9AA42B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e9cc7ef8fd8d30e2743101b1761bb92158c7984","datavalue":{"value":{"entity-type":"item","numeric-id":1193591,"id":"Q1193591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b435d891123f6ab4749d0f9bd70c50dc2608d6db","datavalue":{"value":{"amount":"+0.82233554","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":"Q5520634$A4DB3546-E773-4981-BCCE-7B19C718671F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"933f31e0f582d4b33184ff8b7c003da49410303c","datavalue":{"value":{"entity-type":"item","numeric-id":1575930,"id":"Q1575930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d3047f9131fec6cf30e5a97158907e8e454212","datavalue":{"value":{"amount":"+0.82223785","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":"Q5520634$15F1635A-F6DC-46FE-A522-6BDB56D7493E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27fde3b9868b4219abd29abc030c9ea3d357129","datavalue":{"value":{"entity-type":"item","numeric-id":4593059,"id":"Q4593059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"678d2e5d95730b5d7eb79cbc242d6faca4f92279","datavalue":{"value":{"amount":"+0.8212268","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":"Q5520634$B4E7F2F3-02AC-4B32-8860-DC6ED5C1B8CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5520634","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5520634"}}}}}