{"entities":{"Q3811747":{"pageid":5841653,"ns":120,"title":"Item:Q3811747","lastrevid":53522258,"modified":"2026-01-25T03:48:34Z","type":"item","id":"Q3811747","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4080960"}},"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":"Q3811747$A6726DC8-7483-4842-9EAD-FB86DD2CC5AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1afdd37dd7a250d3320ffbb8b47279fb3f7efd46","datavalue":{"value":"0661.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3811747$BA595502-A987-4B93-A2AD-322CC4E781CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86dd1292a8b5a1afaa94642cc6a7d0169c59a759","datavalue":{"value":{"entity-type":"item","numeric-id":409313,"id":"Q409313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3811747$8D9569F3-5E05-42FD-B3FC-5B9E621AAF49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3811747$A4FF0709-0C4F-4031-B055-2F3E5C11FB53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3811747$F8635B81-2745-46BD-ABF7-A563F4CDBDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3811747$3B946A93-9648-4A69-9D24-8038FFF0BE35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d34956e9f043942d09d1f6533d006282879c167e","datavalue":{"value":"4080960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3811747$8300125D-DDF1-4404-875E-FDF1C0A79685","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3ab39b49f728a0fdfe0c583272eee03fc915c11","datavalue":{"value":"rule-based expert systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3811747$C7E16E12-24BA-4C82-8BC6-17B994B92051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7924d9af1632e8d461f27d5f9c5c6cd204f3358","datavalue":{"value":"many-sorted first order theories with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3811747$893DEBD9-7A73-43DF-B61A-FDEA4132D06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a531b609de5cc4866d32f3f5896190f29947e64","datavalue":{"value":"Consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3811747$2FDFB75F-F24E-4A14-A973-784459F6E24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q3811747$2AB9BDC1-BD65-491B-8AE3-03F57D8EB04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3811747$5F3C233A-A021-4C3D-A5A7-EE82DABFF4C5","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":"Q3811747$699E7998-E322-43DD-B8A7-05A699D7C038","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedb495ed259dd1acc1b8cb34dd80fb9b3c17041","datavalue":{"value":{"entity-type":"item","numeric-id":3985546,"id":"Q3985546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b85fc313a234bbc6c924444bf29173191803eb08","datavalue":{"value":{"amount":"+0.8189287781715393","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":"Q3811747$F8E7CA5C-8BF7-476D-9126-53887102ADE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55d0858f2c6052cdf5e935fbbcec146febabf095","datavalue":{"value":{"entity-type":"item","numeric-id":2876316,"id":"Q2876316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c608418cd7b810f9f17d2cc8559641a73c811809","datavalue":{"value":{"amount":"+0.739698052406311","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":"Q3811747$FE09F1BC-F43E-4576-BF10-3AA503D516FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49ff189e486b6041de1ab466fd0547f4d86e8197","datavalue":{"value":{"entity-type":"item","numeric-id":3030275,"id":"Q3030275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc220964cf66bfd629de5959223013ee8771437","datavalue":{"value":{"amount":"+0.7227604985237122","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":"Q3811747$C95BFBD9-68EA-4F2D-8989-7F5345B31206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3513c9c9c9c998b2c7bce68e670a19777555e880","datavalue":{"value":{"entity-type":"item","numeric-id":3801326,"id":"Q3801326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b985959e723c407e5ab27e8ea833e4a0cc788c","datavalue":{"value":{"amount":"+0.7212427854537964","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":"Q3811747$36012808-B811-4AB2-A2EE-73FEBF154D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8013314916ada001e3f8126fa6205fb7bfb129a","datavalue":{"value":{"entity-type":"item","numeric-id":3197358,"id":"Q3197358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f49dfbcf95796f959f2168a072b1307bf1f4e0","datavalue":{"value":{"amount":"+0.7187814116477966","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":"Q3811747$1A40F0A6-389B-4E83-A1FD-0CBFBC934F79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3811747","badges":[]}}}}}