{"entities":{"Q4804899":{"pageid":6834479,"ns":120,"title":"Item:Q4804899","lastrevid":74848992,"modified":"2026-04-15T00:38:49Z","type":"item","id":"Q4804899","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1903356"}},"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":"Q4804899$7AE36D0D-55B5-4A65-8EDE-32AA45EA61F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e244ccbcd18713d0ff7fb0de38b31abbf425cf0","datavalue":{"value":"1010.68531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804899$7004D886-97D9-4EB1-9A08-B91BE78DBF13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804899$3C3B2775-9ACA-41E3-B3D3-B627D5809630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7daa8e19dd762c08a3fe86309cfbf3893a62423c","datavalue":{"value":{"entity-type":"item","numeric-id":286782,"id":"Q286782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804899$109620E6-36BB-4CE4-85DA-A003AD180AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd061ef340feff0cbd009fd7ff490684b9da51c","datavalue":{"value":{"entity-type":"item","numeric-id":685109,"id":"Q685109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804899$352289F2-8DEF-462A-B991-881D5B2662AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8926003e162051c58862b88ffdd8ac7412f34dc8","datavalue":{"value":{"time":"+2003-05-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4804899$48D043E7-14EF-4CC9-8151-0CDFEE1EB7B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7b9fd8db20782dda57bb54b21878e4ef0e53970","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2404/24040236.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4804899$1B81F60C-5320-4272-8DDE-3372EC638B68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804899$94F64515-7C96-4669-8117-FEA92AEF4059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804899$9F726B65-0FE4-4B46-8507-702C41383130","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bf4d945d34dbaacd1cb50bc45b6e0a1134887b6","datavalue":{"value":"1903356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804899$7352C583-68E3-4373-8499-716B652C108E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804899$C89583C8-6A81-417E-89D0-8FEAF70BAD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804899$A45F847F-0F80-4FA8-9FDF-C8104C134BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804899$2497160E-8CA8-4813-9E3C-8A436FCD7D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804899$5177B54F-3A4C-442A-B5AB-2B5BE9064F87","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804899$91EFB130-7487-46BD-ADBB-6E0C6213FA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f94973da57644d5293cf3c9ac6633e23f2b0fa3a","datavalue":{"value":{"entity-type":"item","numeric-id":21445,"id":"Q21445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804899$E77A364F-8DCB-4590-8950-338DD9A2C28A","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":"Q4804899$74335046-8150-4744-BE86-78244F725617","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18eadd68ef3a275c2b540e7d1f3026fdd79c63b3","datavalue":{"value":{"entity-type":"item","numeric-id":4036286,"id":"Q4036286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5b5b655562a7a512373e1e48348f805bff98bc0","datavalue":{"value":{"amount":"+0.7929461598396301","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":"Q4804899$CBF2A5BC-24BB-46DE-B57E-00EDD04EAA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e71bfb5b68d2283442ce2c6ed865faa5ef3fdb","datavalue":{"value":{"entity-type":"item","numeric-id":5756564,"id":"Q5756564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb064e1c02d0ca93e3ab145a27691813c35feca5","datavalue":{"value":{"amount":"+0.7903239130973816","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":"Q4804899$8B2E886C-D8DA-44CC-B375-EAAE382432EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6ad6abcd48709383c08e822d5e3fa1c12b6396","datavalue":{"value":{"entity-type":"item","numeric-id":3192067,"id":"Q3192067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fc7e1c261ab4689d305616030e417a0b7e19a32","datavalue":{"value":{"amount":"+0.7893636226654053","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":"Q4804899$538EA135-9FD3-411F-97FC-00292ADBF3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875fa20a403e3086793eeefa974c2d02108a4d71","datavalue":{"value":{"entity-type":"item","numeric-id":3396552,"id":"Q3396552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eb154425a9bd7818c9542faf3da484edc9efe24","datavalue":{"value":{"amount":"+0.784896194934845","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":"Q4804899$5B9B3A49-CD79-409E-AC25-D9A80294D835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9390b4ccc6dc9f08d9ed8cd2d7f1eed1c352e9ee","datavalue":{"value":{"entity-type":"item","numeric-id":3608772,"id":"Q3608772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a43ae1adcd6477144ff963a8b889bd7acf86196","datavalue":{"value":{"amount":"+0.7826137542724609","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":"Q4804899$D5570A09-25E0-4083-9B62-C2103D5C603C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1903356","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1903356"}}}}}