{"entities":{"Q1580665":{"pageid":1591405,"ns":120,"title":"Item:Q1580665","lastrevid":72243924,"modified":"2026-04-14T03:35:51Z","type":"item","id":"Q1580665","labels":{"en":{"language":"en","value":"Commodious axiomatization of quantifiers in multiple-valued logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512016"}},"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":"Q1580665$75535DD0-8555-4C8A-914A-ECC91C8D4F9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8653df5465b123579082b7b46211687687311807","datavalue":{"value":{"text":"Commodious axiomatization of quantifiers in multiple-valued logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1580665$2CDE2F36-F7D8-4C43-A20E-E04E51D8F496","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab8f04b2418b4941e0c3691acda817c1dd5e0288","datavalue":{"value":"0962.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580665$FC7C0009-E0A8-4A7E-8FDE-170239B67950","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"218958b2041ea87f0471342353fac3595957164a","datavalue":{"value":"10.1023/A:1005086415447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580665$B7DAEAEB-D62A-46C9-A1B3-D18A0F0273C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580665$28EC83A8-C804-40A5-839A-828EC88A50AE","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":"Q1580665$2B341881-849D-4EB2-8326-07A129811353","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24a558bf24d5f00d94b5bae7f77cc1862c3e2d13","datavalue":{"value":{"time":"+2001-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1580665$1CC9B923-A0D5-4B73-B12C-9F9C6A0BBAC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580665$564722AC-5286-430F-8AD6-8048FC94725A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c297849824a6113509b3aab4c468bbc90be2f894","datavalue":{"value":"1512016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580665$43D2C72B-1099-4818-B1F5-608A3CC414E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580665$DFFD06CB-D632-4948-9505-01DCAC74FF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"035833e0e254ca70de52fd862a3eadd1b327c492","datavalue":{"value":"infinite-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580665$D4C2B41B-BB16-4636-9B18-27A30003BD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06da7bd5c2ab9d955c51de0d933a9b443d195f4","datavalue":{"value":"distribution quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580665$420B6B9B-B9F9-41BC-AB82-4DB7A97FBA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580665$17FA4C72-1E10-4B74-A8E4-0BE91C8E5FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580665$9A396B15-C6ED-478F-8859-520A9870260E","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":"Q1580665$C7BF2643-CED7-42DC-A326-3E2E9A3F70B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"216d88cbec872de64a2054c962c3bcb4fbe98b99","datavalue":{"value":"https://doi.org/10.1023/a:1005086415447","type":"string"},"datatype":"url"},"type":"statement","id":"Q1580665$B51BA03A-6B04-43F1-99A4-672E790D5648","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7c50de9c633c7853542590654c779fe7a81d1a1","datavalue":{"value":"W1556184062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580665$22E451FE-D86F-40EE-A615-782CB50939B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc4b5a3b127f74646592db4b3f9cc18aafe95a16","datavalue":{"value":{"entity-type":"item","numeric-id":4647557,"id":"Q4647557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44714213aa3dec88a1178eda528d24a38f539148","datavalue":{"value":{"amount":"+0.8045438528060913","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":"Q1580665$BFEFA671-5A19-4001-B074-1AFC371D1004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8d6684bf5248e930c58eb41c94a79718a93248e","datavalue":{"value":{"entity-type":"item","numeric-id":1854378,"id":"Q1854378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ea24924de28bd84f02b127741a750df3dbb662b","datavalue":{"value":{"amount":"+0.7688290476799011","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":"Q1580665$807456F3-9A9B-41D5-B161-8BB7BC69944E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d946eeab26a8a99845055496bdd00c77603083","datavalue":{"value":{"entity-type":"item","numeric-id":3718684,"id":"Q3718684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982fb8c4a99e0efb5cdf93e4ca14795f17de623f","datavalue":{"value":{"amount":"+0.7460788488388062","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":"Q1580665$A3E4C23C-4267-4561-9315-886D5A50D213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb9836b5354ac90e5db460bdec9acd6bbdb848c","datavalue":{"value":{"entity-type":"item","numeric-id":4282535,"id":"Q4282535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b2f44bcee9eeecb0ff006335cccdb001d0f247a","datavalue":{"value":{"amount":"+0.7359306216239929","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":"Q1580665$0447495E-5F26-4DA3-9793-0F17F0D4CDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564d538a47ec3cce3e713750fa133c4bccb20c36","datavalue":{"value":{"entity-type":"item","numeric-id":3838811,"id":"Q3838811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e36c275baec0e8aeafda955bab0e025f3c088a46","datavalue":{"value":{"amount":"+0.7311539649963379","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":"Q1580665$C0F58462-CD5D-44A1-83FA-32CE5F5BAAE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Commodious axiomatization of quantifiers in multiple-valued logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Commodious_axiomatization_of_quantifiers_in_multiple-valued_logic"}}}}}