{"entities":{"Q1824381":{"pageid":1835123,"ns":120,"title":"Item:Q1824381","lastrevid":73454394,"modified":"2026-04-14T16:03:21Z","type":"item","id":"Q1824381","labels":{"en":{"language":"en","value":"A strong restriction of the inductive completion procedure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4117833"}},"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":"Q1824381$16343925-A385-4BA9-AE05-DBDDFE209DC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2854d42fd70823a246b7237029ee4c5008934cae","datavalue":{"value":{"text":"A strong restriction of the inductive completion procedure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1824381$404C7C39-ABBA-4243-9C69-33DC9A8D6248","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7acd24d28b10c7cb18180d30027d1d60ff30f5e6","datavalue":{"value":"0682.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824381$5AFBF97D-9148-4170-84EB-C5C0683F452E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d3f6ab8d9b181c337884bf83ef28153ab091942","datavalue":{"value":"10.1016/S0747-7171(89)80069-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824381$02F40BE5-EA75-4B66-B08A-9AB62090F136","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d67748a66a6547b8df83562fa8acd362b0e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1028735,"id":"Q1028735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$9314676C-2987-4A8B-B908-54DF33E7DC47","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":"Q1824381$DDBD700A-C118-4710-83A9-B35708B588DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1824381$F3209421-2170-429F-9234-04E38C883F1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824381$FE226042-41D0-4428-AB33-AA4AF3B52C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824381$2CE024DC-5C5E-41F4-80E5-EE46213E18EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"479800cb09e98b54804ff9639d9a4e0915971672","datavalue":{"value":"4117833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824381$158D107A-3848-4ED3-AD40-01409B45977F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb58c0316c19ad366c2fa25cbd42e95167f585f0","datavalue":{"value":"principle of definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824381$B5BAFF9C-77AE-4B4B-ADB1-4A5A52575F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0f3e66d0c05c393bbc596d169abb55b93f3e0f1","datavalue":{"value":"Knuth-Bendix procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824381$7ACE0EB5-2BE6-46D8-9763-FE8D42FB16FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"526025801589f58e7606d5ea18d5b8cde00de02c","datavalue":{"value":"selection function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824381$3AB7BDE2-09D8-44E6-BB51-A528134F06B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3cc28a3bf02122975647f0bb95401f52a13fe67","datavalue":{"value":"ground-confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824381$B8E8CE47-D744-4D4B-B431-D5015B6EE17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e78c793d6b274ad90381ac7e5d81ad110605318","datavalue":{"value":"completion procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824381$D03FFF6D-7BD4-42EE-AA96-9DEC77B77E98","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":"Q1824381$09F112E1-7FE8-4769-B04E-42030356687E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0843e7f8e29d84aa6b7b4f9a110eadf9b3b1959","datavalue":{"value":{"entity-type":"item","numeric-id":1134541,"id":"Q1134541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$879FA9F3-AE02-42FD-B7C4-93066A655D52","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":"Q1824381$AD502594-0D76-40B2-8483-F5589B00F838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8ea372caa817f188e4e943a4cbc2ab55cc9d12","datavalue":{"value":{"entity-type":"item","numeric-id":5549412,"id":"Q5549412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$7B3751E4-625D-403C-A010-7AEDF12B6450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878d0cf3806a5845f931422b646e88e6f9f50943","datavalue":{"value":{"entity-type":"item","numeric-id":3703288,"id":"Q3703288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$9F001DAA-D4D0-425B-8609-34C5975F73C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aabd8f3595e1331a44dc7a6dd5f7e7d6bff224f3","datavalue":{"value":{"entity-type":"item","numeric-id":3336735,"id":"Q3336735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$F3751A8A-43DF-46E7-A0E8-FCEEC7DEF6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1b55d8f43ca125643590f04b775951f5864389","datavalue":{"value":{"entity-type":"item","numeric-id":3692850,"id":"Q3692850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$CDE275CE-9708-4EE3-AF7C-72821B00CE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fc6ba95a7a3d1c30683f3ac547139937323420","datavalue":{"value":{"entity-type":"item","numeric-id":3780428,"id":"Q3780428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$C9AB6ADF-6FC1-4D3D-B5D6-C8EC9C505D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$B9FC8744-E7FF-4ABE-9CD8-0220A975F43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$E2731EF3-3BC6-473D-AB6A-8F592DFEA0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7dd076536f3668f703f8f8e17b2cfee8106654e","datavalue":{"value":{"entity-type":"item","numeric-id":1154801,"id":"Q1154801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$E41E90E0-4B86-4A29-8EE8-373CD51A0EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$4E850225-378F-46EC-852C-9196B8A3F2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9f23bc58febcc60aff99ac387949cd328d3079","datavalue":{"value":{"entity-type":"item","numeric-id":1065790,"id":"Q1065790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$D567CE44-F57E-448C-A6E2-229AE35831D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49dfcf779626070163a6a0ca7b7916ab0ca8d77","datavalue":{"value":{"entity-type":"item","numeric-id":3709891,"id":"Q3709891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$95709635-B186-4F6D-A14E-2F18BB5AB0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cfe00f727b087a386cc5c62c253e81e5e8c7c0","datavalue":{"value":{"entity-type":"item","numeric-id":3783519,"id":"Q3783519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$FBBE6AD5-2E66-4D9E-823B-468102597036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$69FF31BA-44B6-41FC-B2EC-9C5E2997E5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c625f6ce6390ed7bc9f81156e2e10cd0430a0c67","datavalue":{"value":{"entity-type":"item","numeric-id":1157924,"id":"Q1157924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$D7465484-A55A-4AB4-BA88-065A0F0962E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25605ed03c58c4e6fd2e2d9f0fd8ad5d7bec9a4a","datavalue":{"value":{"entity-type":"item","numeric-id":1093368,"id":"Q1093368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$2D89E4D5-7C49-4F25-985D-3B6615FDC746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d03a1c424bcaeb63f633ac851296a587c7c9dd","datavalue":{"value":{"entity-type":"item","numeric-id":3732980,"id":"Q3732980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$D2C1E0D5-7EBF-4D46-B0CB-C696E1E17E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$00DC0671-C7A2-4999-A31B-55B423F00894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3f59dbdc62b201884f34adf530697a0cecd021","datavalue":{"value":{"entity-type":"item","numeric-id":3783518,"id":"Q3783518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$23A53D8E-110F-457F-8F19-6D440E6A4AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6a2cb106f245cd8593bbddd8c52259dcb7e15b","datavalue":{"value":{"entity-type":"item","numeric-id":1212353,"id":"Q1212353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824381$2EC4CE82-EE6F-48A2-AE12-F09AB3F8BF12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2567d3171f195e96f5fadcb5959ec11af9eb761a","datavalue":{"value":{"entity-type":"item","numeric-id":3725540,"id":"Q3725540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab1f938c199df8d2340c5a20569f3f6f62a7acc5","datavalue":{"value":{"amount":"+0.9991150498390198","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":"Q1824381$0B0F0CE9-136D-49A3-8A6C-D95FF646CC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0b72cc3bd8fcce61bff4224c9291a8e03b0fa2","datavalue":{"value":{"entity-type":"item","numeric-id":5881279,"id":"Q5881279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a54ced3843d1ad78921dc1f09ddcf42be84413","datavalue":{"value":{"amount":"+0.830986499786377","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":"Q1824381$1167F4B1-CBF4-4A09-B5DB-FB08CED67BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58fd391857709a1825aaf51abf8d91be995f87d0","datavalue":{"value":{"entity-type":"item","numeric-id":3347863,"id":"Q3347863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128cac21625dc4136cfd649e56a98a1f1e8d771c","datavalue":{"value":{"amount":"+0.8301702737808228","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":"Q1824381$5E81E85C-E432-4135-A9F6-FB5B887DF87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a38861aa8c5ba98116a45571edd8abc1a857d15","datavalue":{"value":{"entity-type":"item","numeric-id":3993260,"id":"Q3993260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7f78302328d572454c2d7720c2730be55d38e5","datavalue":{"value":{"amount":"+0.8287341594696045","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":"Q1824381$7CC63B10-8AEC-4A37-8B0D-FD8F24F9A889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7d1c79c5d9622e1eeadc1aaf2b3855954e4971","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68cbeda0cacd9b3804a2ed8169ec0e00638438b8","datavalue":{"value":{"amount":"+0.828532874584198","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":"Q1824381$0EEB047E-6BAF-4A85-B9D8-9825D372609B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A strong restriction of the inductive completion procedure","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_strong_restriction_of_the_inductive_completion_procedure"}}}}}