{"entities":{"Q4518914":{"pageid":6548507,"ns":120,"title":"Item:Q4518914","lastrevid":47540878,"modified":"2026-01-02T00:51:39Z","type":"item","id":"Q4518914","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1538057"}},"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":"Q4518914$0E34C7D6-C15F-4874-B287-0A0166BB88F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1ffeeea914b3c9dfa69b2b66e55722f5bb01758","datavalue":{"value":"0961.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518914$52EB2DCE-A113-4E5B-BC31-E61AB3F9311D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbf1d9c0b0e83239511c911eb40c1e2a2b73d12","datavalue":{"value":{"entity-type":"item","numeric-id":414854,"id":"Q414854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518914$4F0E7E5D-5101-43E1-A85F-26D3C1CCC0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b27fb2de17ba7f26cc1dc0d940e72cb82218af6","datavalue":{"value":{"entity-type":"item","numeric-id":421445,"id":"Q421445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518914$72A4A4DF-59B3-4676-AD0D-4CB9351F4DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99809ed495e654999be3f275423a0ba7027d3b10","datavalue":{"value":{"entity-type":"item","numeric-id":219437,"id":"Q219437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518914$F8A6E033-193E-4B4E-B5A8-E11107E9DD6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b7e5e451b86ea62c551e05867f3082e9ab96e42","datavalue":{"value":{"time":"+2001-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4518914$07D97C35-706C-47A2-A03F-87082D29717A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518914$3C7B3E0A-710B-47B4-BB30-BE537A54CF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518914$06C91168-8502-4C5D-BA45-1E5696EC6228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518914$4CFF641E-0C99-4720-B2FF-452644168657","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c273e5fae9605e66ee3fdc3959632cecfa936a1","datavalue":{"value":"1538057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518914$1D0F4BEE-6E6D-415D-BC95-0A17F432FEAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df4b1bf6fd754a4232c3b07a418ee7dc58192cce","datavalue":{"value":"SAT-based decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518914$B43739DF-B23D-4FFE-BC28-162AE7086E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd7482af88908f413994b9957d684fdce41e2b6c","datavalue":{"value":"classical modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518914$60E051FC-F85E-494A-8A9D-3B84F874DFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3152daca964c287d63a0126bd987834e7cef4476","datavalue":{"value":"experimental evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518914$E7EC315B-8E3C-4A3D-8BC1-E75FCFC92A3B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518914$6492C65B-0172-48AF-AFEA-CDFC3A0CC819","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":"Q4518914$972C30B5-5464-4A7C-A726-EC3873055482","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c0b34a1519966477279cea262c6f333129c480b","datavalue":{"value":{"entity-type":"item","numeric-id":2751042,"id":"Q2751042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af368c85a847c423c5701cffc8fc97138053448e","datavalue":{"value":{"amount":"+0.9802049994468688","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":"Q4518914$AFB55E38-3A94-481B-99B4-47AC816048A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9777691384a37ebb734d81a224bd3d1efd77779e","datavalue":{"value":{"entity-type":"item","numeric-id":1610667,"id":"Q1610667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29b96dae383e35f951673b3b4becdd5985892c56","datavalue":{"value":{"amount":"+0.9800011515617372","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":"Q4518914$55FC3D84-294A-4B7F-8D54-36674A53309B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18dd60e57dfc1f26dac213ff2121d626f4d8d30f","datavalue":{"value":{"entity-type":"item","numeric-id":4443408,"id":"Q4443408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b8c28251424f533350dcb76f3b34193417e90a","datavalue":{"value":{"amount":"+0.8750582337379456","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":"Q4518914$9AFF2D79-21DA-4836-A5BD-C3E2BA4E17C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020c54d6c6bb01cf77a353201542ebcfc84eabce","datavalue":{"value":{"entity-type":"item","numeric-id":5256336,"id":"Q5256336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3af706f29606e9d3693ee86d4a3f704f694fd101","datavalue":{"value":{"amount":"+0.839618444442749","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":"Q4518914$5A230D90-56B6-48D9-B570-F025A37D2827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e4fe8f73ff191de4c3ed94d8eece7306d7ec7e","datavalue":{"value":{"entity-type":"item","numeric-id":1854375,"id":"Q1854375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1fb7ada83c78fe124cadc9d5a1bfd6fe3cb32ba","datavalue":{"value":{"amount":"+0.8323920965194702","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":"Q4518914$AE6B46F3-D20C-411A-A6AA-C3E03B32F3D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4518914","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4518914"}}}}}