{"entities":{"Q3732983":{"pageid":5762889,"ns":120,"title":"Item:Q3732983","lastrevid":50864252,"modified":"2026-01-15T11:55:03Z","type":"item","id":"Q3732983","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3965464"}},"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":"Q3732983$A6DBF15F-7B97-49A8-AA2D-56DB68881AA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d064ef837677dc41d31e523a1d1f45fa6fdb012d","datavalue":{"value":"0598.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732983$28F0F6AC-5D7F-455C-B80B-7CED3123EEC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5584b61080269b096f785173ffd49061cb7d63a9","datavalue":{"value":{"entity-type":"item","numeric-id":673133,"id":"Q673133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3732983$11E63286-2DC4-4817-AD10-40930736FE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98daa176291d3f31b004bb8af3845f694af2604d","datavalue":{"value":{"entity-type":"item","numeric-id":1095644,"id":"Q1095644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3732983$7423243D-7745-444A-8F5E-C7B0BB45075A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3732983$12335DDE-BB82-4992-8C2A-3CD58EC851C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732983$00F709DF-DF50-4926-867B-9A81893F43AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732983$81F2B599-1719-4C23-81A1-396EA89A6424","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"501a755f0602a6a9885cb30e5a1837ece6a7e432","datavalue":{"value":"3965464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732983$A8C802D3-C10B-47C4-821F-90B70B74EC2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87eab83d6e6a1a5633afc1247bbbca976455297f","datavalue":{"value":"verification of PROLOG programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732983$4E4DCF7B-D90F-49E8-963E-EA8961C5E61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec944ba983d68317648999c1091df82a53f85b28","datavalue":{"value":"PROLOG-based deductive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732983$985484C0-D8C4-4474-9480-C894614AAD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afc2394ddcd460e6b59fd92b067ea9b3b6ca1ef1","datavalue":{"value":"first order inductive theory representable in Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732983$E341C2CF-1312-406E-B33D-66C9125ADF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c49527daca2d1c775831597cb71b961fb38c90a","datavalue":{"value":"skolemization by need","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732983$7E983837-FBAC-458B-B000-83FCEABFD976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa289999c37979bf8cce4bed654012903debdbce","datavalue":{"value":"suspended evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732983$0EE24D9B-1F78-4370-BD89-4FCCDD158615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"464bcdbabe2004309bb3bd626335b30fa6323ebe","datavalue":{"value":"limited forward chaining","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732983$2CE05265-7E13-4CE2-BEF0-65F57C0E0D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2e5deade188339f27ac915bcb14092ccd250044","datavalue":{"value":"proving properties of data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732983$D1DCCEFE-132E-4CF1-8CD1-7E1F0A37810F","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":"Q3732983$39359B77-585D-4121-B53D-8DD425FFDA2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fe49094536a6000a6ff11386d0b3a35de5c58c","datavalue":{"value":{"entity-type":"item","numeric-id":1103415,"id":"Q1103415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d8eaf6d25b5091d11ada224b65c2098c76985df","datavalue":{"value":{"amount":"+0.898709774017334","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":"Q3732983$020C4154-398E-4964-8B1E-264FCBBAED9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a71ecbaf84f28c342c3776fbbc4438d17d87a980","datavalue":{"value":{"entity-type":"item","numeric-id":4223458,"id":"Q4223458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c8ea9cbd6a9c5b3e84e117dc4b4bfe7c73c4ce8","datavalue":{"value":{"amount":"+0.7719664573669434","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":"Q3732983$6DD650C2-17A2-4C36-889A-FBA0B02F7F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31b4a3d39713dc06eab1bc4b2bfc3409fd333dd","datavalue":{"value":{"entity-type":"item","numeric-id":1114446,"id":"Q1114446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3fc2b6ffb4c8be40421723d9bcb6c8feed56ac7","datavalue":{"value":{"amount":"+0.7711777091026306","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":"Q3732983$098F1570-1569-440F-BC44-1C45B53A1ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b38d041c7dfb50baa22a1aa118ce0d93932c5e","datavalue":{"value":{"entity-type":"item","numeric-id":3725520,"id":"Q3725520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"018c210de946c40ec4a36353592bb01d6be0626c","datavalue":{"value":{"amount":"+0.7678923010826111","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":"Q3732983$05C6DF0C-C3DB-4C25-A9BB-ADB93ED8AD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0456405130c3ea41f3a066f024f9d673ca3d1ec2","datavalue":{"value":{"entity-type":"item","numeric-id":3750142,"id":"Q3750142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da8b4862de7a2279bad2aacce5538072e666568","datavalue":{"value":{"amount":"+0.766429603099823","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":"Q3732983$E688F5DC-CDE7-4A0C-8DF8-C56AB9674361","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3732983","badges":[]}}}}}