{"entities":{"Q4029612":{"pageid":6059352,"ns":120,"title":"Item:Q4029612","lastrevid":55217266,"modified":"2026-02-04T22:41:15Z","type":"item","id":"Q4029612","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 139632"}},"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":"Q4029612$68614308-4A85-4C55-9F93-061FC0A548B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6901e13563d9c85835eec6aa59162da28839e96","datavalue":{"value":"0759.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029612$55ABB07F-177D-4D2A-87C5-7AD7DB246240","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2491a851057e6ca7600156e437800ff9f139cabd","datavalue":{"value":{"entity-type":"item","numeric-id":604450,"id":"Q604450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4029612$F8B8E6ED-6672-49E0-A7F8-0A06BB2134AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7ea5f16cc816facd5f588acca584d7c7aab2792","datavalue":{"value":{"entity-type":"item","numeric-id":454384,"id":"Q454384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4029612$5EA0FD40-A016-4D8C-9F25-3EE13F90A7D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e126f0a627a644e456ce20a058877c46ad749c68","datavalue":{"value":{"time":"+1993-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4029612$EEE11A4C-C1DE-4555-9CBE-91F1D956D986","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029612$B8A021B5-DE98-4B22-8FF4-865EAD717970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029612$8B63CA44-83EE-4046-B57A-4784AFBE6710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029612$F8EBDE0C-11E9-4E35-98F2-179AEEF0588D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029612$605F9219-A82A-49ED-A01E-BF2813B33A30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91ae63a91c3328f09e41016474b0e383d777c92e","datavalue":{"value":"139632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029612$7220FA52-0925-4E59-99A2-23EB996DE9AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e3b98278bf84d46493cb32d3d28e79cf2d33c8a","datavalue":{"value":"generalization of PDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4029612$1EA6FDB9-EB5E-4988-AD2E-F5DA09C5078F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6af65d7535a8fbb7d6c22c75741089109e73556","datavalue":{"value":"dynamic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4029612$676148E8-DB74-4D13-B087-CD6186E63474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59660e2e23857dc97515765d804f9ab93088a4d9","datavalue":{"value":"recursion operator on programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4029612$D33EF326-B82D-4486-B57C-C338F93143FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8062d4a1eeeb5e08f848ae1fee36c598b5bb81d4","datavalue":{"value":"infinitary axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4029612$B7DE099B-DC2C-464B-B47F-6616B387870F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4029612$2524EFEA-A87A-45E5-801A-A56BF67CF509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e399d677aa013c5bcad0e7b334f6f942ffbfd7c8","datavalue":{"value":"fixed-point semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4029612$01FB4C67-D3A4-4BB8-8C73-C5F7F86DDB60","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":"Q4029612$1E248F74-99C7-4FF5-B02B-B454F8290EED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8227c58f50fa9702c619efa5e6b3509692ae1975","datavalue":{"value":{"entity-type":"item","numeric-id":5899095,"id":"Q5899095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9169898cf195a9fb75267e7eb7b03c2680b87762","datavalue":{"value":{"amount":"+0.8486154675483704","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":"Q4029612$3E49CACC-34C5-4C91-807C-328DB79F5B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459889d5310106929d088e8b9b294423d01d5621","datavalue":{"value":{"entity-type":"item","numeric-id":2643333,"id":"Q2643333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"775f41cd4477ae3f615e1244aaabd8242c62c7ca","datavalue":{"value":{"amount":"+0.8392009139060974","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":"Q4029612$95F23F37-7B5D-4CEE-8F02-785E73B598C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85bf8fa01ffd3ac0621fdf09963a19379b27827d","datavalue":{"value":{"entity-type":"item","numeric-id":4376075,"id":"Q4376075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70f8fe82118f3059b60a36075c7d94c70718ebe3","datavalue":{"value":{"amount":"+0.8239747285842896","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":"Q4029612$0405E043-3048-41CB-9BC2-A684A7E92EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5161e70e2a34646dd831d3da7f66fa24716b2321","datavalue":{"value":{"entity-type":"item","numeric-id":1065545,"id":"Q1065545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88ad63657f3fe9c4925569b158b1ec27654e7db8","datavalue":{"value":{"amount":"+0.8013421297073364","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":"Q4029612$91D0A8E9-8941-4887-8848-B5D4F9722A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63e136a3f99c164e16dc4b22d6c6e40b53b4bba","datavalue":{"value":{"entity-type":"item","numeric-id":3318101,"id":"Q3318101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46638f86b9c508a0980261815a8c28182ace45ce","datavalue":{"value":{"amount":"+0.798886775970459","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":"Q4029612$71DA2909-2B5F-44D3-9E13-CE2F5F6271D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4029612","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4029612"}}}}}