{"entities":{"Q1935375":{"pageid":1946117,"ns":120,"title":"Item:Q1935375","lastrevid":71890485,"modified":"2026-04-14T01:13:14Z","type":"item","id":"Q1935375","labels":{"en":{"language":"en","value":"Non-deterministic inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6136604"}},"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":"Q1935375$574724E0-D6F6-4313-B142-DA58402386F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37f8ef33e36631edbb9243b02d050cf8f5e1f171","datavalue":{"value":{"text":"Non-deterministic inductive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935375$5771A688-97E9-461C-85C0-057FEFC414D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9b292f9c027673fa00e8af667cefba6d78f2d26","datavalue":{"value":"1403.03111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935375$A8B5C0AF-8BBA-4DE5-8DB9-CD2FC62C3F57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d5b6d9c706120e3546cda282e0bf75898c459f","datavalue":{"value":{"entity-type":"item","numeric-id":448332,"id":"Q448332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935375$1EDBF73E-100C-433A-AACF-E5AEEBCBF8DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935375$3DC6409F-C5AF-4AB9-AF98-3E068257285E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"025a6162cbc38481701c5fe66af357be9811074f","datavalue":{"value":{"time":"+2013-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935375$D04E9575-0EEC-4128-A17B-CC715A32DFB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"960cad7af59cf2b1fd848b01bf0ac1573263f06f","datavalue":{"value":"https://arxiv.org/abs/1104.2744","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935375$D26A29C7-CF7B-4DA3-873A-18B06A25DA93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935375$CBDF810E-3F92-41EB-AE8F-8EC84AE1D4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935375$2904C730-69F2-4426-AA2E-275829541C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935375$D301EACD-0070-4A83-A08A-68385F449B4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78b08e93c4e94552b58ac91a3d5ef1801ee7286b","datavalue":{"value":"6136604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935375$3B7F2377-B72C-4F09-8EA3-5AA001A3D335","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935375$96B37072-CFAE-45EB-8478-FA406220110D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935375$CCA4E6AF-AB0F-4A57-B935-541CE0F99393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c34c2e8c5d0fb69f0d1e8e3e7dfa80780452cc0","datavalue":{"value":"predicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935375$16C22D3B-0C67-4215-89D1-12B5AE26D854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a4798788d65b97e63656f02fa74a51565b0cc3d","datavalue":{"value":"formal topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935375$4BBD5AB0-985D-4506-AE86-D1DD74789EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4008b81c4bc1576424dee29507c2dd5376c74da","datavalue":{"value":"inductive and coinductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935375$72848D27-FCBF-41ED-AFF8-E47C80F3F9D2","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":"Q1935375$84C0BB2D-2183-4A4C-8484-73E7EA2D7963","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"052a031991d089cee908468a6c17ff94a1b48c4c","datavalue":{"value":"W2064537710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935375$1CA83B06-EC6F-4945-A4DF-461D8C969DDB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935375$4321D059-A247-4A4A-90AC-F2E1DB965908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a723316080c5b24d1fee899b4f093691aa2d64","datavalue":{"value":{"entity-type":"item","numeric-id":2575763,"id":"Q2575763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935375$E5BA538C-9709-448C-BEA1-66564F72E597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f74f98496385becc4ce23798ae87a184810a953b","datavalue":{"value":{"entity-type":"item","numeric-id":5740664,"id":"Q5740664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935375$7549BFD3-F30E-444F-8A09-B3F4D5726AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f32d68962ab886e92e44b6ca8cc3a34c8f7b357","datavalue":{"value":{"entity-type":"item","numeric-id":876383,"id":"Q876383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935375$AEAD43FE-74BC-4CB7-8183-8D12F348BAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e06431ea4cd9016c5b40701e5e26e191927d727","datavalue":{"value":{"entity-type":"item","numeric-id":2878782,"id":"Q2878782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935375$8F9BECE3-D0D9-4AC1-896A-666B6003CB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"568225dbd5dc9397e46ec200214f033ac529ce72","datavalue":{"value":{"entity-type":"item","numeric-id":448333,"id":"Q448333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935375$67F72AB7-7344-4787-8F50-5EA643EF2FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772f22db8726abc1b17c66467dc58d8102a542e4","datavalue":{"value":{"entity-type":"item","numeric-id":1344548,"id":"Q1344548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935375$8B9D4377-12CD-4989-A184-857383F088D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2260e4b3777f41fc95d475467057ae2369dc026","datavalue":{"value":{"entity-type":"item","numeric-id":5740674,"id":"Q5740674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935375$F6C3B74F-1C9C-498B-96BB-52EC75979005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935375$46F1BE71-2B79-453F-8800-401E9CB22451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fbf88ad4b38bd2537051ad7d167bb814dd65eb","datavalue":{"value":{"entity-type":"item","numeric-id":1577483,"id":"Q1577483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935375$122ECB66-D516-4A6B-BCB7-E629DD5B34E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6505ccc00021788c4b0d12d6eeafa586103dbb20","datavalue":{"value":{"entity-type":"item","numeric-id":2488274,"id":"Q2488274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935375$66C7F2A1-D069-4E9A-9B68-A81BC47014A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eccdbf19e8e31fc04563170b9054dc6f2f242db1","datavalue":{"value":{"entity-type":"item","numeric-id":5310884,"id":"Q5310884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935375$2CFD573D-33A6-49BB-975D-34B0A1080C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2ce0a72c60de5a50f93ec02d3b2383218edce52","datavalue":{"value":{"entity-type":"item","numeric-id":2575773,"id":"Q2575773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935375$B9201002-15A2-4BCA-BA48-425946AEDDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"963485469aceb0582dd2c60644ec88f187611b06","datavalue":{"value":{"entity-type":"item","numeric-id":2500469,"id":"Q2500469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935375$C012B7E4-C9A4-46BA-A186-79D5F85CED19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d001cd86787341ec5bc110963875587437aece0a","datavalue":{"value":{"entity-type":"item","numeric-id":1427787,"id":"Q1427787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935375$C0E0A525-961E-4ACC-B0AC-1414097ACC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b53e3422dfc360fa3b48ba2b1f2f733c0acd83f","datavalue":{"value":{"entity-type":"item","numeric-id":5253924,"id":"Q5253924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935375$0670CAFF-8665-48CC-8A68-47EF4A26CDC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"944102c73fd12944ca2aee1464268aa6036e4c5a","datavalue":{"value":"10.1007/S00153-012-0309-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935375$393F2A1B-8361-47F6-9B2A-CA9BA86ECCC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68985f20ae8396f99c1c171ac46d28008655f2d6","datavalue":{"value":{"entity-type":"item","numeric-id":5221851,"id":"Q5221851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faecf742e7211cbda31a2a4893c7cba3282659ad","datavalue":{"value":{"amount":"+0.8372114300727844","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":"Q1935375$A33494E1-4957-41E7-BC4C-74071FC83938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33d89e31a0d5771bc1eb782b61da6c6687dacc9b","datavalue":{"value":{"entity-type":"item","numeric-id":5718561,"id":"Q5718561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c13919af13dd4e39e39bc15a5b1667dc8c3a5350","datavalue":{"value":{"amount":"+0.7893033623695374","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":"Q1935375$9C4CEFF8-1518-44B8-BFBD-0573B7491A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fef228a353cc07d2c1654ce9e3f29b1224dff3b","datavalue":{"value":{"entity-type":"item","numeric-id":3586059,"id":"Q3586059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d1eb5254f51c0c85bee6c6f18ceca5f1e55e22","datavalue":{"value":{"amount":"+0.7418921589851379","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":"Q1935375$6874E432-6A27-4603-9F03-04304A8D82E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab86b167b258cff61ef64d74c4ddd82b12963b93","datavalue":{"value":{"entity-type":"item","numeric-id":5260991,"id":"Q5260991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e6a41850919f76a63e5712fa66980d1e637ae51","datavalue":{"value":{"amount":"+0.7231912016868591","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":"Q1935375$E5AC2B54-90FA-48E3-B8A6-CE69B20ECE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"387d6d9d0d822b9dbf936e9eff68c8e5f3c92785","datavalue":{"value":{"entity-type":"item","numeric-id":4579809,"id":"Q4579809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e1743f37d35f0f99d4858aadfb32e64747dcba","datavalue":{"value":{"amount":"+0.7221052050590515","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":"Q1935375$0AD01DF6-1F63-4139-8A00-5D7B6767CD53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-deterministic inductive definitions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-deterministic_inductive_definitions"}}}}}