{"entities":{"Q1869612":{"pageid":1880354,"ns":120,"title":"Item:Q1869612","lastrevid":73919856,"modified":"2026-04-14T17:44:04Z","type":"item","id":"Q1869612","labels":{"en":{"language":"en","value":"More proofs of an axiom of \u0141ukasiewicz"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1902323"}},"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":"Q1869612$6886EEEE-7EAD-45A7-8649-2F814A71D112","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05fc124a492f16895099f7a8d1d2375a8c00b604","datavalue":{"value":{"text":"More proofs of an axiom of \u0141ukasiewicz","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1869612$4FA904CB-5C6E-4817-991F-66A780315912","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a78abd17f647af5c8f0ab041d11619baea98ef7c","datavalue":{"value":"1016.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869612$D0CF69D9-0A2E-4886-82A6-82873D9009E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44b3a389a9ba1e17771c723efdbfb68758903857","datavalue":{"value":"10.1023/A:1020541318160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869612$5A70DEB2-BF8B-475C-B9A0-54E88D103EAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869612$E7B763A2-ED9E-48C1-A8D9-BB5DEE1F1BD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b05751a28df8b7d171e02c18dec5082d33efa41","datavalue":{"value":{"time":"+2003-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1869612$B3B9B331-F1E7-4617-B8F1-0ADF338C9965","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869612$A0D2701B-FAA8-4CEF-943F-9B7B33FCC739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869612$FFF92B79-9E6F-4FE1-BA13-845E8DCACD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869612$B5CA1332-265E-470B-8907-9E289646CD4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"202b81d019bd2750d19bcaad03919b7b887d59c7","datavalue":{"value":"1902323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869612$85AE975D-C027-447B-B14F-258EFC3A7539","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869612$60802E82-C351-460C-ADB2-C1F223C90E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869612$368150FC-B083-4088-90E9-EDADA84DBE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869612$7B7D9EAC-9B38-4F12-BE6F-9FBEC4FD5A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"642507c0abd1221e0d27a586106b3e2c75d006a3","datavalue":{"value":"axiomatics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869612$9D7A7CBB-89BE-4CF4-8F9F-CC2EC5269817","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bcf20fbd6e518d6ec705e75c1250ec189c8029f","datavalue":{"value":{"entity-type":"item","numeric-id":689215,"id":"Q689215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869612$E106E65E-14B7-469E-970F-F0FF10B5020B","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":"Q1869612$0A3A6403-54DA-4D8C-9B1D-FED5AB891AC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ddf0771cbce87f8a69ab8ed5585992592eb2bca","datavalue":{"value":"https://doi.org/10.1023/a:1020541318160","type":"string"},"datatype":"url"},"type":"statement","id":"Q1869612$B901997F-1AD3-4F09-B17B-4EA72ABB19BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f91edbd3251a34c554bca468c8dabdd75d632e9","datavalue":{"value":"W2064277412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869612$75A465DF-D8EC-48F8-A02C-074F80891E78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7601a09b70f70662b17e50aa3b13885b9b6f9ef7","datavalue":{"value":{"entity-type":"item","numeric-id":687151,"id":"Q687151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"649d260c2338170f842f567e5a6a73ebc08ca0b7","datavalue":{"value":{"amount":"+0.8062794208526611","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":"Q1869612$BDAF7F68-A4C6-4F04-B237-6DB0B1BE6780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88123805737055ce53c54ee2f23d3afc276626d8","datavalue":{"value":{"entity-type":"item","numeric-id":5881275,"id":"Q5881275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa89b4fb34cc1c066d0994c54f063068ab72ea1b","datavalue":{"value":{"amount":"+0.8042643070220947","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":"Q1869612$C4E1EAAF-2982-4F25-B01D-16C8FB3BED93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1ff08fbdda17bf7d34b5007ffedf5ffa163966","datavalue":{"value":{"entity-type":"item","numeric-id":3797157,"id":"Q3797157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15eb54fc1e6b16b125d316f316e73ff96f224484","datavalue":{"value":{"amount":"+0.7970573902130127","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":"Q1869612$8367581D-3EF7-4508-B6A3-90C978B56D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4369ff79a108f5e22c0a0b6f7e932f476cb1d34a","datavalue":{"value":{"entity-type":"item","numeric-id":3680812,"id":"Q3680812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f9c7a4474ccb2af5210b42ead8b035ff85a0f16","datavalue":{"value":{"amount":"+0.7761322855949402","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":"Q1869612$978BDD5E-8C1E-402D-9F1A-1E97606DB1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27c115c87800ff78afacf69737fff282691b60e0","datavalue":{"value":{"entity-type":"item","numeric-id":5951529,"id":"Q5951529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d35b3107c533a6667610ad76491c3a87b03f5d","datavalue":{"value":{"amount":"+0.7752475738525391","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":"Q1869612$BCCDC30A-4603-4A04-B2FD-11F8BE53DF97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"More proofs of an axiom of \u0141ukasiewicz","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/More_proofs_of_an_axiom_of_%C5%81ukasiewicz"}}}}}