{"entities":{"Q2938048":{"pageid":2948768,"ns":120,"title":"Item:Q2938048","lastrevid":52170611,"modified":"2026-01-21T02:19:23Z","type":"item","id":"Q2938048","labels":{"en":{"language":"en","value":"Extracting proofs from tabled proof search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385865"}},"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":"Q2938048$EF091DED-CFCB-42D6-A8BB-E46DF0637B56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6447c5fe3784832090c40fdf57bb9657014b0817","datavalue":{"value":{"text":"Extracting Proofs from Tabled Proof Search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938048$4DD262E6-AD0F-4F27-A741-65ECC388977C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15954d9ec5a4afdc7f6c09aae50668a60d947126","datavalue":{"value":"1426.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938048$567586F0-A705-402A-9B97-9CFDF2AA4248","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"409562de8d954c2ca08189acf63a66c791897d2c","datavalue":{"value":"10.1007/978-3-319-03545-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938048$E12BE3A4-276F-4035-8D92-47D6043D0A3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938048$8C410F0F-1BE8-4569-A17E-FE0E7BE0E2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938048$0BC1ACEB-AFE2-4904-9EC8-DCE0279A6A44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938048$D63D7F4E-13C5-4BD9-96E8-60BE799883B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7326fd6e0963f01b5d05d75894cb7d24907c61f1","datavalue":{"value":{"time":"+2015-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938048$459848F9-ECA0-48D3-9B10-1656C29424FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0767d3766e91f9bf69ce6353caabb56dc6f31214","datavalue":{"value":"https://hal.inria.fr/hal-00863561/file/root.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938048$D14E98D7-5562-4CC5-BC71-8F2FF809453A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938048$7D0FB409-24A8-4316-873F-B9BDCFAFE5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938048$E7FA00FE-4A49-4A92-94D2-1436A42C8FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938048$72AC321F-0B36-4D39-A7D9-EC8E06ACE769","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1b54422d15adb2c88c0f9b9fbbe0b45a08b09e1","datavalue":{"value":"6385865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938048$8360E208-877D-47D7-8089-256CEF26E7E2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8b05ec686e5cf36ec21c150af705733aeafe240","datavalue":{"value":{"entity-type":"item","numeric-id":21443,"id":"Q21443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938048$6C0A9660-5D2A-47C2-A479-B8C6B21D67DF","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":"Q2938048$63F8A9FA-EE58-4355-BFDF-1DBE2CF627F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3cb0928f83bdf12a2abf47d9b0465ae842d3c9a2","datavalue":{"value":"W2245184119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938048$523C4F6C-60A2-4584-B7AE-58AFA4D1E4F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0712512ae39e64635b9634cdec19b25e852ac","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938048$1335E64E-9DEC-4733-A4A5-EC028FA2302B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938048$D5B185AC-9601-486C-998B-3E922C4F505A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797bbf1c2d6bb399f80f079e9983fc833bfa2c2c","datavalue":{"value":{"entity-type":"item","numeric-id":1398474,"id":"Q1398474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938048$86315BA3-C881-4558-A5DB-0D6720BDCF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380a2f18f4b02ba06d230258197a946757b5301","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938048$C66F8FCC-BC19-4F4F-AFE5-5D60DFACC404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5053859a8538504e0eb3025ab332314be80808","datavalue":{"value":{"entity-type":"item","numeric-id":3608431,"id":"Q3608431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938048$C6C254EA-EC5D-42A4-8C6D-A14E0AFB21F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccc9a63e5db253120ab46b1c85465a76812b2e6e","datavalue":{"value":{"entity-type":"item","numeric-id":2938048,"id":"Q2938048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938048$B6B25410-1E73-47C2-9397-D44CC394A07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd2d5f9bee76143adcf1dd7ff9da058c58dd1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5412011,"id":"Q5412011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938048$6909C97E-36E3-4F37-B1A5-D1986367CF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938048$2F26524D-7DF1-4089-A606-43EC80C41D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9901a00b49868594909cfecc127baac906dcdfd9","datavalue":{"value":{"entity-type":"item","numeric-id":5449611,"id":"Q5449611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938048$4C8CDE1B-98CF-436E-8A31-34879AEA5F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35499366ce64847ee4967aa551258683d6d6eac","datavalue":{"value":{"entity-type":"item","numeric-id":4460690,"id":"Q4460690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938048$00F0298A-DD1B-4508-B820-9954BC53A440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34d25a135933d7bf5547de5ec4476805acc9a84","datavalue":{"value":{"entity-type":"item","numeric-id":2946601,"id":"Q2946601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938048$DE386D66-01B1-4558-8B1C-0BED8C2409F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c8c114ed91e2eb27d97fbae8c341950e41db76","datavalue":{"value":{"entity-type":"item","numeric-id":1948276,"id":"Q1948276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938048$534638FE-792F-4899-9A63-619259FFE0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a659b2cbd537713eeed2150669304c9e3e0f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938048$89794C9E-A5E5-4EDF-83E8-A8F04C4A1C86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9773ee3d70debc794eac4ab34c8a660087718bc5","datavalue":{"value":{"entity-type":"item","numeric-id":3591388,"id":"Q3591388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82eb1d17e60b2ad70820943da53e6e3019491e20","datavalue":{"value":{"amount":"+0.7618342041969299","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":"Q2938048$46635F39-C27E-4A98-952D-AD0FC1B8F4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51c95cf90a785eaae404eacb8cafc96b69d08671","datavalue":{"value":{"entity-type":"item","numeric-id":3608431,"id":"Q3608431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44c32f2ff5a95b0b0e28a91c231e3b8ff7f78f46","datavalue":{"value":{"amount":"+0.7410564422607422","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":"Q2938048$AA37C541-1BB9-46FD-9526-12BAD0B49D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f3bd1ff5d06e991c5abb002d27b63e47835d85","datavalue":{"value":{"entity-type":"item","numeric-id":4992896,"id":"Q4992896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b586bd60859af1c53316bdfc4e53d29a7077d5e2","datavalue":{"value":{"amount":"+0.7365296483039856","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":"Q2938048$04C7AF5D-2A53-4226-A7A0-0AB4BDB4617E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7823197de6e5f2f44e15d0f3bf07f3a5a7a10c50","datavalue":{"value":{"entity-type":"item","numeric-id":2931251,"id":"Q2931251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0c1ff4ce8bdac66609ac30f5f2e2c0ed51f01e3","datavalue":{"value":{"amount":"+0.7316036224365234","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":"Q2938048$8619B134-FBC4-4179-A599-F82D020D94CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bc7eff5eb7f75b97c04ad8dbaef2ddb809e716","datavalue":{"value":{"entity-type":"item","numeric-id":2927660,"id":"Q2927660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ccf807f659ba90f4af9cb28dc1d873a33fda6f8","datavalue":{"value":{"amount":"+0.7290530204772949","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":"Q2938048$96ED065C-266A-4A0F-861D-8FE40E009D02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2938048","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2938048"}}}}}