{"entities":{"Q4302355":{"pageid":6331956,"ns":120,"title":"Item:Q4302355","lastrevid":47264701,"modified":"2026-01-01T04:20:46Z","type":"item","id":"Q4302355","labels":{"en":{"language":"en","value":"A constructive proof of McNaughton's theorem in infinite-valued logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 618235"}},"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":"Q4302355$5485D9F4-FB63-449A-9ED9-4EAC358589F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bd6907b7070ee62f12e750c5bc8efb8de2407c9","datavalue":{"value":{"text":"A constructive proof of McNaughton's theorem in infinite-valued logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4302355$6F2D1134-7B40-454F-A61F-A75F59FCEE6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f78733ff6d3724230d4274cd8cb4f18a56ed194","datavalue":{"value":"0807.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302355$9217C9F6-8E50-4733-BA08-2B183DBB64A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81de117e57f35dcca4735b58fa46f4db34b0bea7","datavalue":{"value":"10.2307/2275410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302355$038A55EA-48EA-46C6-AF7C-122577310FE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8059b8b5e7d67e2c7a1c512c2a2acd219f0f77d3","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302355$8929611D-FC9E-4477-9FC5-9D592EAA9F88","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":"Q4302355$AA968057-0EB0-4025-B320-53D83482AC9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c43f44e06ec88d5a4f3bab3a7b41ef43c84549c","datavalue":{"value":{"time":"+1994-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4302355$5CAF62D5-933E-4C56-A743-1FACDBBC1C5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302355$2E411B93-5A87-4343-9696-A98DB271B1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302355$FE6B962D-B494-479F-AC11-61A4E3CEFC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302355$58498148-05AE-46D1-B71D-039D43E2BD42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd5f37749eacc3f7553c243db277c23b3d50f404","datavalue":{"value":"618235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302355$918265C0-B871-4957-BB80-48F10ADC150C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36ada5c878e08c03ce19de9ef38cbcbb25e71ccc","datavalue":{"value":"piecewise linear function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302355$095368C9-50A1-4D33-A9B8-807C5BE331E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca9fe01670a8686e208e92cd459d70aaa81dbb63","datavalue":{"value":"infinite-valued calculus of \u0141ukasiewicz","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302355$3EBAEBF9-1CB8-4E27-A6A4-F24458B61684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1712f8d0c949da8963ee71b5c708b3138ae61bc2","datavalue":{"value":"Minkowski's convex body theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302355$05DEE6F1-29E8-4157-8D52-B8A0F45A3BCC","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":"Q4302355$5FEC91BB-5041-403C-B7BF-4EBE28C00B33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a19653130479ace9945db4fb17ec0562cac12cab","datavalue":{"value":"https://doi.org/10.2307/2275410","type":"string"},"datatype":"url"},"type":"statement","id":"Q4302355$7FFD2841-2971-4E85-9099-B8B8B2478D2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ab063125063ec6e3c05832fcb9210217753740c","datavalue":{"value":"W2054457993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302355$3B5861FB-0243-4D5E-B23F-A514FD1E377F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16e8dfcfe65d86684bcabe5136abe2826fccd4d","datavalue":{"value":{"entity-type":"item","numeric-id":5804993,"id":"Q5804993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302355$98589675-76C0-42CE-A2B4-DCB911A7572B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc12852c03e47e8962f7c13c13ab61a3d46c956","datavalue":{"value":{"entity-type":"item","numeric-id":4039742,"id":"Q4039742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302355$9CABEB61-A2F5-41E5-981A-6B36DCBBE5F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d56ed22ab0d757916545773d5644aa82e02e97a3","datavalue":{"value":{"entity-type":"item","numeric-id":4517273,"id":"Q4517273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01dfda58016e427723475edff10134dc1e717285","datavalue":{"value":{"amount":"+0.8363891243934631","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":"Q4302355$E985444A-F7A3-40DD-9B42-82B4C4D36E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e665406bac2de3909d015814d764f2901cc5215","datavalue":{"value":{"entity-type":"item","numeric-id":2229157,"id":"Q2229157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"212093f2e72e7e38ba335cea26cdb65c50570d66","datavalue":{"value":{"amount":"+0.8340997695922852","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":"Q4302355$8F677AE9-25B1-4C0A-8601-7B5976EBD895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331a8cc8c44f47a39a53884bb57c4afcb2685373","datavalue":{"value":{"entity-type":"item","numeric-id":4442751,"id":"Q4442751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ddfcfeb406931326a47c8e42c4fc46f536920e","datavalue":{"value":{"amount":"+0.8195022344589233","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":"Q4302355$57441974-0EC2-4071-B6C2-B1FA404E83A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6c04ebaf451bf98b0044fe2add4de8992068ad","datavalue":{"value":{"entity-type":"item","numeric-id":4842633,"id":"Q4842633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48299a8205e2fca326da5103efc55b4c662196fb","datavalue":{"value":{"amount":"+0.8145518898963928","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":"Q4302355$5B38CF49-61B2-4659-AA2E-3AEB051BF962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1500521cdfabbd9d4b9603b00c673d28a599e717","datavalue":{"value":{"entity-type":"item","numeric-id":4549478,"id":"Q4549478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a204bec8ab147709347a35d9e9884a36c2d63bd9","datavalue":{"value":{"amount":"+0.8141382932662964","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":"Q4302355$BEA35C58-6BDE-4D37-AAC8-B29C49C61519","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4302355","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4302355"}}}}}