{"entities":{"Q4782945":{"pageid":6812525,"ns":120,"title":"Item:Q4782945","lastrevid":74664612,"modified":"2026-04-14T23:49:18Z","type":"item","id":"Q4782945","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1839652"}},"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":"Q4782945$28E0176F-B8F4-41B4-8548-E315E06D148A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac79c6b31aa1e89d87cdc30fdb9043b148ac3ec9","datavalue":{"value":"1011.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4782945$CC52E7C2-408A-487D-A07A-73DCD365E505","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a7a686db37251f69b28da9bc3d8445c58bb850c","datavalue":{"value":{"entity-type":"item","numeric-id":542559,"id":"Q542559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4782945$8656E91D-F4A6-40BA-B0DF-72721F360760","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":"Q4782945$D45145F5-7CEB-46C9-808B-4ADE938966AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73d185dbaf6d811efc0df1e387b5300420bf2b31","datavalue":{"value":{"entity-type":"item","numeric-id":776085,"id":"Q776085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4782945$1E0EDB70-4D9B-4B08-BAB7-11EECD924DCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4782945$8077618E-C805-4250-9FFA-B413DB0F607B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4782945$4D262B93-0A42-42F7-BDDD-73FDB32A6688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4782945$DC203E4E-25CE-4676-9DA8-606D4A935B31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0762f156b43fe449143cc0f97c0bf8546e5c9812","datavalue":{"value":"1839652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4782945$4A0848E0-A6D0-4A3F-A2CD-D9CB98DAA8B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f612ce2cde6c71fcfb38cdd1b4030a17fa1d8db","datavalue":{"value":"resolution pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q4782945$DD662262-3630-4860-8F02-6BBBC46CFF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"588fe7046e7c4fa6cfcf5f49bf7209a89dba37f4","datavalue":{"value":"unsatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4782945$A5E9E0BF-32B8-459A-BA9F-07ADED443064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3a110d8e6cfcdfd307fcd9602fd60030c61db07","datavalue":{"value":"matrix representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4782945$4C9DE19E-4365-4ED7-95D8-35A95BD7E59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4782945$0695B442-AE2E-454D-9251-F525C2B0CCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e45de5f0961d0cf7470a7b0dd939d5c4c581f3","datavalue":{"value":"classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4782945$24456990-7148-46F4-A4A2-A28C61566694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b5615b5e5ce3ec4675b0bc4f5ed46a27decdac","datavalue":{"value":"lattice-valued propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4782945$28A524C1-BEA3-4D82-A582-90B9719B355C","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":"Q4782945$672258BB-2904-4188-96F5-F002B10FFE79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"511abf87addaa7692f957e5a410aba8b21a31b8d","datavalue":{"value":{"entity-type":"item","numeric-id":2905643,"id":"Q2905643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4fd47ca7cb4425b2244646e715ec9f30515ce5","datavalue":{"value":{"amount":"+0.8522695899009705","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":"Q4782945$0CBCB016-AE42-45F3-8924-B81B1A78D03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"144e934aa78fef92c3d9cca2124e0c341c526691","datavalue":{"value":{"entity-type":"item","numeric-id":4583766,"id":"Q4583766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"090146453f497800d86d3cb54a9f40595bda0b63","datavalue":{"value":{"amount":"+0.8300961256027222","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":"Q4782945$DE908CA9-B513-42DC-AE8D-51D53693B533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf5c5390b116544bf1fda0489be16525f82e589","datavalue":{"value":{"entity-type":"item","numeric-id":2988491,"id":"Q2988491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990f100e8d6fb0716ab1b80c51340c0e6822e8da","datavalue":{"value":{"amount":"+0.8289258480072021","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":"Q4782945$784D12AE-B7B9-4B75-BC9C-0112F489EA72","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":"108321df2a8e501b27e2c12491873663cb9bf028","datavalue":{"value":{"amount":"+0.8203564882278442","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":"Q4782945$60A719C9-5CC6-4198-BDCC-B3E5924AB95A","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":"cbd8b2ed1c21c218f44c497a0d00cca9b4eb0cee","datavalue":{"value":{"amount":"+0.8187477588653564","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":"Q4782945$8A122EE3-EC85-4335-ACBB-710015A03BD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1839652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1839652"}}}}}