{"entities":{"Q3833651":{"pageid":5863557,"ns":120,"title":"Item:Q3833651","lastrevid":54476543,"modified":"2026-01-27T03:13:37Z","type":"item","id":"Q3833651","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4110158"}},"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":"Q3833651$EFBA0CBE-F5CE-485A-84C0-1CA7D8A0A179","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1f5b57f1cd084967ca63e7f542e0eef0a05efa6","datavalue":{"value":"0677.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833651$80F70111-BDEE-4743-B001-B191F424BFA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"244cbb0c7c29d260462be69c255a90e4965cd8bb","datavalue":{"value":{"entity-type":"item","numeric-id":287328,"id":"Q287328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3833651$34AB7653-E42B-4497-9F7B-8023EC12F377","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":"Q3833651$2F4193CC-E817-4D59-8BD4-0C158791D2AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833651$D8B0E6E0-F09B-43DD-9CA0-30A180B6A664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833651$F2F0EC71-F490-4503-84FB-3D7E55F54E60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50c862e3bae0f56f94d1805f3da3bb83b7ac486d","datavalue":{"value":"4110158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833651$5C492DFA-3C78-43CB-85D1-AC94250347AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833651$A1F489AF-B366-4690-B278-B19CEDE8CF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d0f55e9593f71bf7e08bae885025c85105f8a45","datavalue":{"value":"bottom-up reduction technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833651$1A7CFF54-FA7D-47B1-93BA-F90422936630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76a2be47351fb39fffa8efab4abfaf06db162b43","datavalue":{"value":"topdown theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833651$8651FD14-1E65-4159-A521-94E79DF0294E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a5b8303274d05ecbdd4750e5dbc70132aff4441","datavalue":{"value":"PROLOG systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833651$7CEA096B-1739-4BA5-B253-1B545C057D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5950369e3296ba8752027da07ec6b3ab18326cee","datavalue":{"value":"recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833651$2D54319C-4E84-4427-BEC2-81C53C8BA203","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":"Q3833651$4FF762D0-2968-4C9B-8913-8B8EF0A5DFDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077cc3b734197a380614f02c6c4f877b460faa41","datavalue":{"value":{"entity-type":"item","numeric-id":809591,"id":"Q809591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edee07fc31a3033a8e9c29cf5310facf10ab4d8c","datavalue":{"value":{"amount":"+0.7781776785850525","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":"Q3833651$846F8FE9-87D8-49C5-8B0C-2E5D2C3556B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a708bd95fe19950e3ee44ab1250de3085d9f51","datavalue":{"value":{"entity-type":"item","numeric-id":5286918,"id":"Q5286918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c0259950391c8d62fea327744dba2642ec3a34","datavalue":{"value":{"amount":"+0.7552092671394348","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":"Q3833651$12862423-566E-45D9-B25F-CE9AEB2A89C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be38d12a01dc64ef90da2860a1846fbb228f6c7","datavalue":{"value":{"entity-type":"item","numeric-id":4217937,"id":"Q4217937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffee8bad72b1c036fe2bbec19d4438fa4d945bd8","datavalue":{"value":{"amount":"+0.7493498921394348","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":"Q3833651$66F40193-841B-49FD-A780-0B1A2B9212A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79925e87d6c7a7faf6446bfbc656aa0604753e9b","datavalue":{"value":{"entity-type":"item","numeric-id":5210773,"id":"Q5210773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffee8bad72b1c036fe2bbec19d4438fa4d945bd8","datavalue":{"value":{"amount":"+0.7493498921394348","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":"Q3833651$D3CE2A1E-CC94-4AA9-BCB5-A480E8DDE7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae0a4ce56cc4803d2e5112e12266cf2cb676d5ec","datavalue":{"value":{"entity-type":"item","numeric-id":4506395,"id":"Q4506395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf2609d7486cfab906315eb931c0271395d3ec4","datavalue":{"value":{"amount":"+0.7491611838340759","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":"Q3833651$F3DE249C-4D5A-4925-A6EE-9E8DF0C55FB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3833651","badges":[]}}}}}