{"entities":{"Q3586040":{"pageid":5615944,"ns":120,"title":"Item:Q3586040","lastrevid":49622629,"modified":"2026-01-08T11:12:06Z","type":"item","id":"Q3586040","labels":{"en":{"language":"en","value":"Embedding Deduction Modulo into a Prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779244"}},"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":"Q3586040$9EA408C8-B72F-4B95-B263-F41AF3FC51CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba3d9d45d70a9a8cdfa119d170bf3a18ca3873fa","datavalue":{"value":{"text":"Embedding Deduction Modulo into a Prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586040$369DCD1F-55AC-40A5-B19F-01D34F908BAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9736205e22afd188474f694eb4606f45d739a7c2","datavalue":{"value":"1287.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586040$DBDD5E68-4FA3-45D9-BBAE-BEFD967CC6FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8203754b17d3453578cc0f3f3c826b0e9179c8d1","datavalue":{"value":"10.1007/978-3-642-15205-4_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586040$2931B8DB-9B82-4742-84D8-750FA2684F50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8e409b4bd2cef152800e753211d297de864b62d","datavalue":{"value":{"entity-type":"item","numeric-id":2209543,"id":"Q2209543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586040$8F32F344-90F4-4A18-A23E-80AEE96513A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586040$CAF03DDD-5470-46AC-BFD6-01BD5D24400C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586040$43C73338-5E18-486D-9E86-BD0E843283D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586040$0B6B45BF-B04A-4AA9-906A-9D77E49BEC4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e25e5bf60be64726487ce8bc069a193e34a1353c","datavalue":{"value":"5779244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586040$8BA97F94-FE71-4839-A797-D7B7A2015B2B","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":"Q3586040$4C4C951F-F342-4882-A9AA-016D9E816E83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"183e297ccaed7ed7f7136c629a6e22c7eb33b9dc","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15205-4_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586040$4C8C530C-AAD8-4BD0-B411-5FCD780F1726","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b90cc2fd8d42884bcf861f41a1c2a986a70435e0","datavalue":{"value":"W4253073838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586040$4BAF800F-77CE-4AA2-9690-F2C470F5D6B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39dbd2fc855554e505b91049187a5f408000dbc","datavalue":{"value":{"entity-type":"item","numeric-id":4681890,"id":"Q4681890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb5a571298b0a4d5a44f8d1dac8fe1a4112cbfd","datavalue":{"value":{"amount":"+0.8910655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586040$AB6B0ABB-C16E-432A-A3E3-F894792E95B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc117c5a2ae76e68481a50d229f4da7bb0a589a0","datavalue":{"value":{"entity-type":"item","numeric-id":3498425,"id":"Q3498425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03a4cfb67d3d52af8b13e3f041dcd8d1c5e8259b","datavalue":{"value":{"amount":"+0.8881142","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586040$9FFFD820-1CB5-467A-AF5D-123D70849252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925afcd37d501359acb17fbde86e53e5f3c5cba9","datavalue":{"value":{"entity-type":"item","numeric-id":2055853,"id":"Q2055853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf4eb1637a2ac7c0724f35b8bfef3e8b74ad35a","datavalue":{"value":{"amount":"+0.88638884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586040$823C6E66-33DB-4ED3-BC9D-4FAC49C4320B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b02aa4fafec83ea58b3e53dc9bc4d8453a43b80b","datavalue":{"value":{"entity-type":"item","numeric-id":6052705,"id":"Q6052705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c03d8ab74fbb15acde9ca1322c103e77b48365","datavalue":{"value":{"amount":"+0.8818419","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586040$EF85DEC2-1F0C-429D-88BC-6234B68EAA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2a688dea4e126ba6aa9bf5fbff7f7b77e3b38d","datavalue":{"value":{"entity-type":"item","numeric-id":2986786,"id":"Q2986786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"466d217d797ec0d979949da035c49fd8f7a9992d","datavalue":{"value":{"amount":"+0.88033974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586040$0E361B6B-6538-4C81-8F17-D5E3D7C9476C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0070f198188188a05d47f95f4d06f1e231693ba5","datavalue":{"value":{"entity-type":"item","numeric-id":4539633,"id":"Q4539633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb3aea819b1c203147d08738b8b55e05e464371","datavalue":{"value":{"amount":"+0.8800101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586040$DCF8A362-8969-4EE1-AC61-CE94B29B8E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3980466f8ccd49a0a1b720b405f6b6e5bd182e4","datavalue":{"value":{"entity-type":"item","numeric-id":917327,"id":"Q917327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b53f4949ae3235422f5db1c40ef3e763a361897","datavalue":{"value":{"amount":"+0.8779689","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586040$25F5B32B-9712-4957-AA2C-7535E355D2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d1e708b2e469be7ec03df78ad98200a7c69af2","datavalue":{"value":{"entity-type":"item","numeric-id":636278,"id":"Q636278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be18e5a21a36370b02bf70cd35d66999c8cfc23","datavalue":{"value":{"amount":"+0.8775323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586040$4C563B2D-9335-4C9C-AE77-A2F7C45AD118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb325e98744ba5420784b8acfc69a277d10c646e","datavalue":{"value":{"entity-type":"item","numeric-id":4518870,"id":"Q4518870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dc50cf2ff089a6041d0039af35f29e51f89ea7f","datavalue":{"value":{"amount":"+0.8732535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586040$8FA9D7A2-F31B-4630-B231-E6EBAB465962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b86601426bfb78025a38db16825c3a8696fd5be","datavalue":{"value":{"entity-type":"item","numeric-id":5055774,"id":"Q5055774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004438071533bf4f5800aaa3c2a6e6a094cfc183","datavalue":{"value":{"amount":"+0.8729991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586040$ECA4DB1F-D661-4CBE-A35F-551D47F2517A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3586040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3586040"}}}}}