{"entities":{"Q5053009":{"pageid":7082586,"ns":120,"title":"Item:Q5053009","lastrevid":54452597,"modified":"2026-01-26T20:30:46Z","type":"item","id":"Q5053009","labels":{"en":{"language":"en","value":"Extensions to logic programming motivated by the construction of a generic theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7623947"}},"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":"Q5053009$4FDF530F-8D47-402F-9540-6A7DC0F1CA39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f70332ef6c8d838c606673bb73153eb84d9f663","datavalue":{"value":{"text":"Extensions to logic programming motivated by the construction of a generic theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5053009$94BD1565-717D-4ED8-8519-03E41A2C65A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be74829819dc544d0f484573f626f96e95cbb036","datavalue":{"value":"1502.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053009$8D6E97DD-4C3A-41E1-8F74-EE0B0D976884","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a435034e922571557f9f6ce98bc841f26d1cb0","datavalue":{"value":{"entity-type":"item","numeric-id":930877,"id":"Q930877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053009$C8218F1E-BA6E-4182-99A7-46756147591F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f8eb1b6981ee2f00126edfdc0e11774e104a6282","datavalue":{"value":{"entity-type":"item","numeric-id":5053002,"id":"Q5053002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053009$984E0B58-EF10-4B2D-B3E5-BBCDF8E7BC02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e1483e38e3bf6c05c7809c6a2cdaaab1a69095b","datavalue":{"value":{"time":"+2022-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5053009$ABCAC619-2442-481E-889F-4106ACE218C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053009$A9E3FC8A-C994-4C51-8ECF-2B6EA44DDF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053009$D2D61FF7-053A-4327-94C3-991E6AA0DF1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bd9374aa2b7e862b38baac1e093e28fb6351353","datavalue":{"value":"7623947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053009$56156C66-975B-4023-854B-7A72A389FA42","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":"Q5053009$548908AF-339E-4275-9590-925ADEACB545","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49b17babd85e67a0089aa67ae16dfb1b3f2ac0fb","datavalue":{"value":"10.1007/BFB0038696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053009$DFC00A49-2473-4B7A-A7B2-FA4038FD35E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef7c9abfa574d2e2737a98c2950b91f83c13688","datavalue":{"value":{"entity-type":"item","numeric-id":1188837,"id":"Q1188837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4dbeee8cb748105f0d5d9d4b679ee94affbd708","datavalue":{"value":{"amount":"+0.7729673385620117","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":"Q5053009$D7B9FC0B-428D-4B6A-98C8-A2C36D64D0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54a33463eb721bd0235829cc7d020753a2cb3f15","datavalue":{"value":{"entity-type":"item","numeric-id":4730754,"id":"Q4730754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51673b763bf54c567098e8d9571ed6822082d422","datavalue":{"value":{"amount":"+0.7565943598747253","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":"Q5053009$BDE7B0D4-BCA5-43EE-A5D2-322E881EAAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c3ed54c351d36f5d91aa80524059ac6791e15a0","datavalue":{"value":{"entity-type":"item","numeric-id":3128624,"id":"Q3128624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce236c5b17f7dda3f1f572049cdf3b6ce28a25b","datavalue":{"value":{"amount":"+0.7541289925575256","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":"Q5053009$E9BE076F-CBEB-4AC2-B290-082566B38402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a6304270c2bf4f17207eb0a8fefd9c3b7ff402","datavalue":{"value":{"entity-type":"item","numeric-id":1199932,"id":"Q1199932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b1f0f82dc1899d0e192b3cfe41428a8ad17b20","datavalue":{"value":{"amount":"+0.7508417963981628","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":"Q5053009$D97C5C0C-B182-4FAD-B847-F9777EAAF9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f11669efc28b10493d93d60134dd60258dd749bb","datavalue":{"value":{"entity-type":"item","numeric-id":3983937,"id":"Q3983937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b1f0f82dc1899d0e192b3cfe41428a8ad17b20","datavalue":{"value":{"amount":"+0.7508417963981628","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":"Q5053009$D3BEDFE2-1722-4AFE-92C6-CA187478977A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5053009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5053009"}}}}}