{"entities":{"Q2440194":{"pageid":2450937,"ns":120,"title":"Item:Q2440194","lastrevid":51957671,"modified":"2026-01-20T15:25:29Z","type":"item","id":"Q2440194","labels":{"en":{"language":"en","value":"Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6275079"}},"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":"Q2440194$45CBAFB5-530B-437C-ACC1-F6BA90659E0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4444fc932abdbc5aff5cdd3ddc3aa671c1318b3a","datavalue":{"value":{"text":"Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2440194$B3718059-5A56-492D-9127-A80B5C0140B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9402e3d7ba39f7371c1ec669e12b22e3d886d1ad","datavalue":{"value":"1283.03091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2440194$57A68F31-EFF7-4F01-B022-C501FCDE39B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df03b5661945d655b06b3f1b6701de59e1fc656a","datavalue":{"value":{"entity-type":"item","numeric-id":2440193,"id":"Q2440193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440194$024EF896-2DF0-43E8-85B0-9653F98A446B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee6429993c4b83380d2aa1a3eca2b98f393effbe","datavalue":{"value":{"entity-type":"item","numeric-id":209286,"id":"Q209286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440194$5A72248E-1191-4DA4-9103-3A698F06F8EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a036cd754fd4ef8a20030da34ded58a95d4433bc","datavalue":{"value":{"entity-type":"item","numeric-id":407428,"id":"Q407428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440194$3A8A8AEB-3130-41ED-B4B1-C46F6728CF68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c3b11648cfcbffa8fc7f44edb80b1996efcf0e7","datavalue":{"value":{"time":"+2014-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2440194$26D107F7-654E-4EDB-8FC2-E61C1B4E235E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2440194$286A37BD-ED6A-4125-8D0E-D2E1E28CE042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2440194$011B45CB-0832-4FD9-8B40-64AE33AE7038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2440194$95197DF3-3D05-46AC-BD4E-D0256F66003F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dfad41f556bdf88cb662f4dedd53d64d7148da3","datavalue":{"value":"6275079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2440194$F6A39EB3-7D24-4CC2-A7B8-3CD718237104","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2440194$38F082BC-5FEC-4F88-9470-8C25EF22C20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2a7dd0956504d6251cf14bdf16057825dd19908","datavalue":{"value":"lattice-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2440194$797DFB9A-63CB-4A38-955E-681232E7769C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85c8a1e5d19bc755eab48a90ee5c94c240ad9c3e","datavalue":{"value":"lattice implication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2440194$B09B632A-B9DC-445D-BA98-F15125FC7C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007c723bcaa2c04ba2fd5d5c4bd92bff87f7a1b7","datavalue":{"value":"generalized clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q2440194$F367ED0C-2B7C-425F-8408-3A038CC06599","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":"Q2440194$8FAF0DD8-951D-49E9-8CB9-DDC41ECDE9DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d33eee1cba95a591c6209e073fa9815b248507fd","datavalue":{"value":"https://doi.org/10.1007/s12204-012-1249-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2440194$B795B425-59DB-43F7-830D-3470C00F1919","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cac1620c3b6be71ebf1828e8dce11d6df7a12f96","datavalue":{"value":"W2315525767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2440194$D699A34A-D321-4658-9C39-64B4A6EEB2A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440194$D317DC23-3A2D-4674-98CD-A3367DF230B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440194$7D7732C6-DF24-4401-9798-4A67A5C7868B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0620e875ace4454552471ddc26f3c19b333694a","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440194$042F5990-952B-4080-AF37-AE4C874ADC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3caa88058b79599cc58c0a1d5cb3b4529602ee33","datavalue":{"value":{"entity-type":"item","numeric-id":4121876,"id":"Q4121876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440194$B2FDEB4F-D10F-471C-8A5E-81C86E2B7A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75695a8beeb327509bdf451e6c8d3a3f23213ec0","datavalue":{"value":{"entity-type":"item","numeric-id":1897558,"id":"Q1897558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440194$F360114D-D48D-4EBE-A825-30483EDDBFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bd18dc3ae65742d7298a1be1bec470d4442d82","datavalue":{"value":{"entity-type":"item","numeric-id":4693586,"id":"Q4693586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440194$D2A850F8-8B4D-4C03-8471-01B7B2BD6D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec94d6e7c73c3ebf27a984de04a8387726f0d397","datavalue":{"value":{"entity-type":"item","numeric-id":4950599,"id":"Q4950599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440194$57055372-A188-4785-A5F7-E31C23AC38C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cbcfa5bac2310d196e20d65117c7532c7c4f815","datavalue":{"value":{"entity-type":"item","numeric-id":4544362,"id":"Q4544362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440194$6F4DF037-B545-4C4F-BE0F-93CC57027D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1886fba0cafc1ecedc0fb6bf66a495668dab70cf","datavalue":{"value":{"entity-type":"item","numeric-id":1408064,"id":"Q1408064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440194$E47824A2-3D66-4156-886F-C761FC502FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2dc2bf3a5fea9e16a7a08493beb8bcc58d89c1","datavalue":{"value":{"entity-type":"item","numeric-id":5946276,"id":"Q5946276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440194$42DD4603-1C2B-43BA-8ED3-D9704D6DF1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8fec4b0d112e6ad33f9618428f4fd6130854d4","datavalue":{"value":{"entity-type":"item","numeric-id":5946327,"id":"Q5946327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440194$027C08BB-4F9F-4837-A5DF-25B62E6C4D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d65da8018dc3a698dc05d67725070281540b8d","datavalue":{"value":{"entity-type":"item","numeric-id":545319,"id":"Q545319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440194$F54F88FF-D9E2-464F-9162-4ADE0B840C8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d029349fd9f93acc10d0953c0caa2c1d27851af2","datavalue":{"value":"10.1007/S12204-012-1249-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2440194$DA95465D-370C-44DB-BA30-2F7AB61BDA83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bffaee73e9313a2b8366d8c6266d1a97b4369f4f","datavalue":{"value":{"entity-type":"item","numeric-id":3090178,"id":"Q3090178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77209c9dc0cb3609c3509be3ab4f8d83f23c9b1a","datavalue":{"value":{"amount":"+0.8506225347518921","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":"Q2440194$565D7244-BE97-46AC-9887-1B4E917C3095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00042c233b81b4279dce4622b40467a06d7d3495","datavalue":{"value":{"entity-type":"item","numeric-id":545319,"id":"Q545319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3647078fe90736c4934377093efd01c4e25e603e","datavalue":{"value":{"amount":"+0.8479255437850952","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":"Q2440194$920475D3-AA0B-491A-A535-6D407D430E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d8a042c4981412855ace19614269ea5a439a0dc","datavalue":{"value":{"entity-type":"item","numeric-id":4932304,"id":"Q4932304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b60a4e9de37d3d9d5ad63a68afdcca5812d5f3","datavalue":{"value":{"amount":"+0.8368921875953674","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":"Q2440194$12D3E72A-FC8D-4A39-92CE-D94E7F5E2CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68a81cd3bbed284927d6404bab1190e9cc0efcc8","datavalue":{"value":{"entity-type":"item","numeric-id":5946276,"id":"Q5946276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"997828ede6e58e3252c7ece87895665d7c74c830","datavalue":{"value":{"amount":"+0.8284623026847839","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":"Q2440194$2E07C736-BDCD-4E32-872A-1E5D5AF1700F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17d4566d3b505f542234fb248e11a16b563932c5","datavalue":{"value":{"entity-type":"item","numeric-id":867665,"id":"Q867665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7e9dfbd87c289de5605d5f1fe89f2e6eeae3fd6","datavalue":{"value":{"amount":"+0.8216633796691895","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":"Q2440194$364EC44A-D539-44BC-ACD4-EB414C8B3BE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2440194","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2440194"}}}}}