{"entities":{"Q4941840":{"pageid":6971422,"ns":120,"title":"Item:Q4941840","lastrevid":47463361,"modified":"2026-01-01T19:51:15Z","type":"item","id":"Q4941840","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1418280"}},"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":"Q4941840$5949F74C-2B99-4A90-B5AB-169A0DBB340C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"353569e18cf82788f630d9711e439765c444fb1f","datavalue":{"value":"0984.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941840$4F6E468B-3275-4F19-98BA-AF3DC9F12A43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b455290f5b835c3773a6eb2262897ac70e7a163b","datavalue":{"value":{"entity-type":"item","numeric-id":287273,"id":"Q287273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4941840$A52884C8-01C5-4F6D-BE87-8D12DB9C9A9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90867f865b1b2e1499356a1ae718dfb4e0f4427d","datavalue":{"value":{"time":"+2002-04-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4941840$876F9566-E8C5-4A13-9E0B-8968A1320E4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941840$0F4B5B75-52E9-49DF-BB10-7D6A024EFA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941840$DE00D7CA-EE73-41E3-8B3F-4BAD91BB440F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"350434fa8d102fbf70b36f51320074657e4144bb","datavalue":{"value":"1418280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941840$23E4C1A2-1609-45BD-84FE-9B2D7A9E18A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941840$5C05BC94-C4B1-44BF-B1F4-939BD25D3A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98b5b5a4f0c825ea91b5dc8ad46045a364b8968b","datavalue":{"value":"strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941840$D919665A-7240-4AE8-96B0-EEC5907B49B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941840$596EC009-8316-41B5-B4D2-E97E4D79ADC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fcf63e7bfbc5af9e4a8e77c10a4e54f5fa9588c","datavalue":{"value":"search plan","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941840$B1E96864-0923-4EEB-BCAA-A636071A35A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a97d160d3b6f81099c582df430dc4b3c4ed4ea4","datavalue":{"value":"form of derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941840$E0F053E4-2EC4-4966-8B97-3E7FD8D0B019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bb2c27d13dc53d35e543d9fb734a743ef1d5ae1","datavalue":{"value":"inference system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941840$C15B0602-D0E2-4B15-B213-445742A116AB","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":"Q4941840$7254BCD2-1EA2-4BE6-B744-E0FB3DC77F40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3328acb14c381645dbb1f9eb31b744a4a34bbbc0","datavalue":{"value":{"entity-type":"item","numeric-id":5210762,"id":"Q5210762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"005318cbd5fbd46dad6a79a77b9f8dd9c324f2cb","datavalue":{"value":{"amount":"+0.7986476421356201","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":"Q4941840$EE46BE8F-256E-4482-8A45-A700A24DA861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1977ce75e4c66a6e986ece8bd137815f9305537","datavalue":{"value":{"entity-type":"item","numeric-id":4345253,"id":"Q4345253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee2da0be7cf83e0875b37d73942056ebb58809ad","datavalue":{"value":{"amount":"+0.7862030863761902","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":"Q4941840$50090AE6-626C-45AE-B332-6C0BF1252849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb0d0ae59343cb96fca8d4fd6b3a0b5b6181400","datavalue":{"value":{"entity-type":"item","numeric-id":3682462,"id":"Q3682462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee2da0be7cf83e0875b37d73942056ebb58809ad","datavalue":{"value":{"amount":"+0.7862030863761902","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":"Q4941840$B1340AED-5D06-4D80-87E3-650D3861B499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb959f515fd7c7236525feea8dded276d4ea8598","datavalue":{"value":{"entity-type":"item","numeric-id":1281504,"id":"Q1281504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aecf4aa89cd00c4cd817212acf95839e42de7cc","datavalue":{"value":{"amount":"+0.7767731547355652","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":"Q4941840$B289B374-BCA5-4EDA-B210-CB13F22F3AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718b07129f6850143af2474e1f77ff794e4aab8d","datavalue":{"value":{"entity-type":"item","numeric-id":1601867,"id":"Q1601867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a7171240d1bb3220b72c64621438497c4f038e","datavalue":{"value":{"amount":"+0.7751889824867249","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":"Q4941840$15BBF032-993E-4755-BE9A-719347E03814","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4941840","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4941840"}}}}}