{"entities":{"Q1404422":{"pageid":1415162,"ns":120,"title":"Item:Q1404422","lastrevid":70345674,"modified":"2026-04-13T14:09:15Z","type":"item","id":"Q1404422","labels":{"en":{"language":"en","value":"Incorporating decision procedures in implicit induction."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1968940"}},"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":"Q1404422$828846E8-2D0B-443C-A7D9-4C3552BF367C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"954232c1a8ebfad871fcdcf8d288edcfa1af634f","datavalue":{"value":{"text":"Incorporating decision procedures in implicit induction.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1404422$420FD2EE-6AFD-415C-853D-FAE2B5B9341B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e04490a55211fc125816a0faf5f1c6dc11f1883e","datavalue":{"value":"1037.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404422$F1921D8F-BB62-417F-9EA4-B8785FC977FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8929b5e8fd595db2a268be7799695598b47ac8","datavalue":{"value":{"entity-type":"item","numeric-id":219435,"id":"Q219435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$0CDA69F5-30C6-40F2-832B-227648773DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$3253598D-2B93-4336-97A7-CBCE84CF195A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"391f7c9359d3fa0424cd103cf1db41eeb4749b7c","datavalue":{"value":{"entity-type":"item","numeric-id":219448,"id":"Q219448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$ABF102B1-E7D2-4D72-ABA4-457A7D0E372D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$64B6B24C-D8DC-4B85-A41C-56AE3E8D1E4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"582f899fc79c44b21a414a56c8b1e2a11284e885","datavalue":{"value":{"time":"+2003-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1404422$5F863146-1EFE-4E6B-9A40-DC7EB8679E33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a03f3f01a342368a8e13d957681f38aa122edcf7","datavalue":{"value":"https://semanticscholar.org/paper/f4d15aa96a5e26b1a6df494d8b1b3d387e650088","type":"string"},"datatype":"url"},"type":"statement","id":"Q1404422$36ECF3F9-4BBE-4DDD-B14E-E793D00D9FA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404422$BBDDEE14-178F-47DA-BB43-565E9BF806DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404422$8A566CE8-F837-43C4-9FA6-503B29CC561C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404422$7F320278-E6E3-42EF-A2C4-B896BE2D50B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404422$44B6DA88-6508-45EE-9ECB-048AADE4212D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f191fadc0561772786d45758931cdf62ffd656d1","datavalue":{"value":"1968940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404422$53BD5762-0B6B-47AA-8E86-59EA5A5A65DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0617f24fea4f074a9cd621dbb70d27a3f78cdd60","datavalue":{"value":"Buchberger algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404422$A7F3BF0C-3442-46E0-ACBC-C055B095DBAB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$BAB30B4C-A994-4177-8405-E61AFEF2A252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"786a5236ac94f9692f521c02ac8270dab6d23cde","datavalue":{"value":{"entity-type":"item","numeric-id":29799,"id":"Q29799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$433427BA-52E3-4422-B48C-1BCE1C497B41","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":"Q1404422$AF1B6D23-D954-48F4-B4C1-2D0FFEAB2C7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0200f8de64c74bace458388cac57599d24651e99","datavalue":{"value":"W2031385999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404422$D5E3E30A-455F-4895-B393-54B5D620DF62","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae832bbf70497daa1223c1c84d7efe05b0b792fe","datavalue":{"value":{"entity-type":"item","numeric-id":4518863,"id":"Q4518863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$4C757E0B-9D4F-49D3-819E-473C6F890A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"473236154e33a40bad762b19d632e6230db77ee3","datavalue":{"value":{"entity-type":"item","numeric-id":4785507,"id":"Q4785507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$C008B3AB-12DE-4306-A564-AABEFAC61E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38436ccc3eaf66833737c693efd9ee02093296ee","datavalue":{"value":{"entity-type":"item","numeric-id":1355757,"id":"Q1355757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$7CD461FA-3000-45EE-BC5E-A45196D2340F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7199b61e16a84b76da4670f962685e538ce1a13b","datavalue":{"value":{"entity-type":"item","numeric-id":1891255,"id":"Q1891255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$0732E7E1-A178-4DC3-83F2-10B12092B132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$6BA8A351-6689-4C29-892D-CEEF188D7F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6638576146949e050869fbd017d1f5e9c8d5e17b","datavalue":{"value":{"entity-type":"item","numeric-id":4377762,"id":"Q4377762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$9979035D-2EC8-4D3A-895F-EA5C5F2947DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec66fa64dfef8f56381c0991953e048ebc1437b","datavalue":{"value":{"entity-type":"item","numeric-id":3999156,"id":"Q3999156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$CCBB3362-8AE2-4DAF-B1E1-338B50065180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e520ac910e5e7e247de7017e5d4cfab23d4f6a4","datavalue":{"value":{"entity-type":"item","numeric-id":3998976,"id":"Q3998976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$13F70BA3-D615-4543-B82B-9A7466F3E848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bbe72cc116925a801c6363ae53a473520b6daad","datavalue":{"value":{"entity-type":"item","numeric-id":688575,"id":"Q688575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$B873B6E6-51D7-431F-B1CF-952C83F73207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f81b699d373bb3e43965f382d1fafe952b178a7","datavalue":{"value":{"entity-type":"item","numeric-id":2754095,"id":"Q2754095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$74669527-BC1A-4FCD-A732-A461D40E3AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7800cb26ebd8bd73eb3371458d6f9dbbf37e26b7","datavalue":{"value":{"entity-type":"item","numeric-id":5950934,"id":"Q5950934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$65A917DA-59EA-4295-B6A1-A8277A703826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0db1e41f1ba5320b64a87340e0bdcecdbd1fe3","datavalue":{"value":{"entity-type":"item","numeric-id":4248250,"id":"Q4248250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$7D12B93B-3846-4031-88EE-1815F20DF1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1942c8a63628b04c1226686a2854b9947e991ca","datavalue":{"value":{"entity-type":"item","numeric-id":4847001,"id":"Q4847001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$50B696BB-7088-42F0-A2B1-5CAFFC197414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b71055072311024197a19b15cc0eb0d22b3766","datavalue":{"value":{"entity-type":"item","numeric-id":3696496,"id":"Q3696496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404422$45102D6B-951F-4408-8DEA-613CF9F68F60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a37408bd09a3bf6d85a374f74bc1a69562d4b233","datavalue":{"value":"10.1006/JSCO.2002.0549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404422$C14FF4C5-BCF9-4CDF-930E-06392F611757","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8496950a4d285f439b5fd6f20ef66e54c7f943ab","datavalue":{"value":{"entity-type":"item","numeric-id":5950934,"id":"Q5950934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd749957de2423f4951dc2208fa204f8d4a56887","datavalue":{"value":{"amount":"+0.8347344398498535","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":"Q1404422$E260A22E-A7E6-4B95-A428-3A5637C0C6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee8ab609614895db70868f5fa3735a271f7810c","datavalue":{"value":{"entity-type":"item","numeric-id":1891255,"id":"Q1891255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd749957de2423f4951dc2208fa204f8d4a56887","datavalue":{"value":{"amount":"+0.8347344398498535","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":"Q1404422$097105F6-83C1-4FAB-B418-398A3E69B724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d97bab009359a69f6aba70a8416f3d9c2262960","datavalue":{"value":{"entity-type":"item","numeric-id":2738486,"id":"Q2738486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771c81fe854ebb456ded714cf8b7521c793a1d90","datavalue":{"value":{"amount":"+0.7782444357872009","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":"Q1404422$9F873D0A-31A5-470D-A3E1-976E8EC139C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c28a0d367ef5e7822d93fac243fd0945c712f5","datavalue":{"value":{"entity-type":"item","numeric-id":5717459,"id":"Q5717459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771c81fe854ebb456ded714cf8b7521c793a1d90","datavalue":{"value":{"amount":"+0.7782444357872009","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":"Q1404422$E2CF5A56-F8E6-46BE-88A3-AB6A338EF30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"904181582e9db5f13343bbb896d848cf85c3db9d","datavalue":{"value":{"entity-type":"item","numeric-id":3021913,"id":"Q3021913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd8aca612086365388975c2b09de05f89d392f53","datavalue":{"value":{"amount":"+0.7741836309432983","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":"Q1404422$8193F086-9B9B-4644-9776-764896839F71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Incorporating decision procedures in implicit induction.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Incorporating_decision_procedures_in_implicit_induction."}}}}}