{"entities":{"Q4028828":{"pageid":6058582,"ns":120,"title":"Item:Q4028828","lastrevid":55223221,"modified":"2026-02-05T00:32:55Z","type":"item","id":"Q4028828","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 140415"}},"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":"Q4028828$FA762549-26B8-4F97-BCB2-F3F082A403EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59a8051f2ffe4553eaecc82ed1463e0a5ba43220","datavalue":{"value":"0765.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028828$27FDAEF0-CC57-4CB0-943C-1D92B711DA53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d20977c2fcf0e3b605964bf89474013a909e0c4","datavalue":{"value":{"entity-type":"item","numeric-id":4028827,"id":"Q4028827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028828$68583E8F-3416-4604-B49D-18E529DAE11A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e126f0a627a644e456ce20a058877c46ad749c68","datavalue":{"value":{"time":"+1993-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4028828$B48A0DA1-DC7C-481E-8A3A-85577C6C493E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028828$A567D14B-883F-40D7-A411-E1E7395BB1CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a92d018d22f5313707690baa85bc6337c8bee6a6","datavalue":{"value":"140415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028828$49364B25-8A43-42D5-A8A8-1F56F7A9C80D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0780dc3be1c9ab716fb5faf056e8c3032f951913","datavalue":{"value":"satisfiability procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028828$A20E30EE-E503-4D55-997A-0248CD2EC774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7589c14fb7857646f07eaa044b0698cd7e95c44","datavalue":{"value":"decision procedure/theorem prover combinations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028828$134AFED5-FA0B-4E3F-B05E-3CE042BA70C8","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":"Q4028828$27096DDD-B957-4D57-B3BD-C28AE5335C4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b449a0bd0229c951dfc5833888215831e1c36d6","datavalue":{"value":{"entity-type":"item","numeric-id":5899156,"id":"Q5899156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a72b5ef32d8183550093fa0188a7913cfa03aed","datavalue":{"value":{"amount":"+0.7728623151779175","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":"Q4028828$A47346B9-3C2C-4D3C-89AE-B3E9BC5CA7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c28a0d367ef5e7822d93fac243fd0945c712f5","datavalue":{"value":{"entity-type":"item","numeric-id":5717459,"id":"Q5717459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9dc6ac945b2ceb3ea9de8b882f8770702054cf7","datavalue":{"value":{"amount":"+0.7678473591804504","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":"Q4028828$CFBD655A-9F43-4B9F-AA86-A9D64A9A7B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c9ee47e3b98d371ad1308735aaed744c369390","datavalue":{"value":{"entity-type":"item","numeric-id":4808819,"id":"Q4808819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef310a003eefb12d5887789c9e2986039e853a3a","datavalue":{"value":{"amount":"+0.7556039690971375","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":"Q4028828$09718596-C483-42B8-8577-729404EA93AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83799d172caac9de556d975c6e02093382a2446","datavalue":{"value":{"entity-type":"item","numeric-id":3677735,"id":"Q3677735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e184c07a207979967ccb3ca9f23c5afee0897949","datavalue":{"value":{"amount":"+0.7538946866989136","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":"Q4028828$262E8D01-DEB6-4FC2-A02B-69BC769D043B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da7ab68d40b0021aff99a5d8e758a7d99a62e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5450569,"id":"Q5450569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee4dc079b2a463b06e732c2d7246a3dd047b9599","datavalue":{"value":{"amount":"+0.7537360787391663","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":"Q4028828$02509EB3-69A6-46D3-BF7C-E756D8A530BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4028828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4028828"}}}}}