{"entities":{"Q4942004":{"pageid":6971586,"ns":120,"title":"Item:Q4942004","lastrevid":47463712,"modified":"2026-01-01T19:53:39Z","type":"item","id":"Q4942004","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1418449"}},"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":"Q4942004$A96CA2C7-2D38-4C04-BA1C-210FAE11B345","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2866fc8c215935bf04b7fc45fc39cc07113b950","datavalue":{"value":"0958.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942004$0A538B18-B418-405E-A0D8-F8FF52B10DCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942004$ECD96914-E9B4-456D-BBA9-376D936CA3F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da0ddb63369ee51f0c4f965ee150089663821f4","datavalue":{"value":{"time":"+2001-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4942004$0BD829CF-C4C5-43B3-98B4-5AD9C375312A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942004$A3278166-C62A-48C1-87C6-DC710FAB1092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942004$8927BCD1-DDFD-44A1-B71D-F6089CEBC899","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25e189e07b65a05b0cfd1bae170a78bdec57e962","datavalue":{"value":"1418449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942004$4835A98D-AB80-40D5-BBF7-7B7F7ABB0580","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942004$3ED6D4F4-79E4-4F69-85F1-79D0DE253713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942004$C83B3C02-9FE8-4EEA-A4FF-C7AD81C3EBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c944089ebd99d6195538b901db0229fcb390018b","datavalue":{"value":"resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942004$3764C743-3431-45FC-90AB-C1C610C81655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942004$698C9A69-60BA-4930-9765-1A653DEAC943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a14647a021d250427faa255f602975f365544ae7","datavalue":{"value":"hyperresolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942004$EEEFE683-B216-4280-B867-D20BC623E311","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":"Q4942004$EFBC2912-BD70-4BB4-B935-6AA52F5D199A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d774b848aec03fbaa972ca7064d768c2b50c6b3","datavalue":{"value":{"entity-type":"item","numeric-id":2751377,"id":"Q2751377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b0f833a3b0b0f5908f2a9558e69f53a65db6e4","datavalue":{"value":{"amount":"+0.8489381670951843","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":"Q4942004$DDE8D1C7-0AEA-45BA-AC18-5A960DF9E925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b73174a4485242e702f9d30c95ca2f409d048b88","datavalue":{"value":{"entity-type":"item","numeric-id":3976574,"id":"Q3976574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b0f833a3b0b0f5908f2a9558e69f53a65db6e4","datavalue":{"value":{"amount":"+0.8489381670951843","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":"Q4942004$E4357938-D5C4-4F61-9237-B2DF53F84D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2055c1cbfcb0dc4888a9b7fa03818581aef135b6","datavalue":{"value":{"entity-type":"item","numeric-id":2702565,"id":"Q2702565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171f56be90569bdb94382a9962caa345386fd3bd","datavalue":{"value":{"amount":"+0.8420696258544922","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":"Q4942004$BF14EFCC-9D21-4224-B873-C98A2EEE1B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdf3dc94daa8f6330b97099699a26023d10fa927","datavalue":{"value":{"entity-type":"item","numeric-id":1310269,"id":"Q1310269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d0278b28bd97296352870823c8c7c2d329e72e","datavalue":{"value":{"amount":"+0.8352881669998169","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":"Q4942004$0D5810E1-6642-4ACC-88DA-F614231C89E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c627282290a8f8a532487012b876ca57cfabd18","datavalue":{"value":{"entity-type":"item","numeric-id":4331764,"id":"Q4331764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d0278b28bd97296352870823c8c7c2d329e72e","datavalue":{"value":{"amount":"+0.8352881669998169","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":"Q4942004$517B8FDB-93C6-4071-8DBA-4C39D673F6B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4942004","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4942004"}}}}}