{"entities":{"Q4036554":{"pageid":6066272,"ns":120,"title":"Item:Q4036554","lastrevid":55240840,"modified":"2026-02-05T05:29:37Z","type":"item","id":"Q4036554","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176725"}},"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":"Q4036554$EC580620-A521-4CD8-A177-07EF2C3DBC63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ab9cb4fdc611b1dd85f01bc980d43693c9e45ce","datavalue":{"value":"0769.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036554$1362D132-14EC-48CC-BBF8-0FFC3139C39E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc783cd5616fccc031a78230a398244b135e31e6","datavalue":{"value":{"entity-type":"item","numeric-id":749517,"id":"Q749517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036554$0CD9FA02-D048-40DB-A7AF-0D1825895CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b8ab75510e765dc4c2dd6c02071146f3a80d5dd","datavalue":{"value":{"entity-type":"item","numeric-id":1277301,"id":"Q1277301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036554$0CD91CCC-32E7-45DF-8E47-9321BE1EAECA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4036554$A5196416-9709-478A-97FE-4D029AAC1A61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036554$A38DCC61-7285-40B0-A107-06BA8711E2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036554$BC377185-862A-4944-9B04-0CC81446516F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b739152e3e9eb13954a634b80d0301a6961e3f86","datavalue":{"value":"176725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036554$D2A72AE5-B233-40CD-BDDF-17634367A116","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77770fa1850bd70facdd7580657e79d34bfb54f","datavalue":{"value":"programming with primitive recursion over non-free datatypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036554$29F057B7-C293-429F-BA9C-701DA04629B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1b1b57278dbfe0191664931a2598a7540b5af04","datavalue":{"value":"lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036554$7D6E8AB6-7E56-4D51-888F-782FBED736DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b637ce835cb863da2bc2f21dc990737c370b6e","datavalue":{"value":"bags","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036554$F0844F8F-1A87-4DCA-A23B-F065BA0838D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0429ee50e2d52b97211c82b6623249a62ba21adb","datavalue":{"value":"sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036554$C0355E05-292D-458C-8409-20FF54AB1AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c2c87f2441c88263b56a66ac2d2a15212b8de36","datavalue":{"value":"set-theoretic denotational semantics with partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036554$88E6731F-0A11-4F7D-B49D-3E04187A2786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5477faa62367b5deeb7dda30992c74736019bcea","datavalue":{"value":"logic for reasoning about the definedness of terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036554$76E242EF-FFD7-4A46-B468-822D7B108E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14aca43d918c6123aaed30572c9d17cc2fa56aac","datavalue":{"value":"deterministic and terminating evaluator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036554$D63CD2E0-7435-483A-AA26-1D31E719AECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b248515cd84ec4304cefdb1fc3edb07f34a7959","datavalue":{"value":"recursion free programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036554$BE230154-5197-47D1-8E26-04A7CFF79F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82b136d444bcc8403025c5fbb1c2d69591172d05","datavalue":{"value":"back-and-forth translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036554$1035573E-6D52-4CF4-8840-E2FF7AE66161","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":"Q4036554$66398EAF-E618-4057-AEEC-758497FB9CC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e126cd91077f77f074c872416e9b6817a95fe018","datavalue":{"value":{"entity-type":"item","numeric-id":3028319,"id":"Q3028319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47711ed9dbc739366313291f812ef70b260a8b29","datavalue":{"value":{"amount":"+0.7108063697814941","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":"Q4036554$CC69910B-13E6-4496-9B9A-B23661B6F58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6306e49215b17ba90b8cab980a1c1edbe51bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4276169,"id":"Q4276169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6945b22321d59dfd056b0d037db105b26417b391","datavalue":{"value":{"amount":"+0.707408607006073","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":"Q4036554$23CA568E-65BC-4EA5-8C49-C36BC97581FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93107b08314803b17dbc3a7651b2520a0c66e5f4","datavalue":{"value":{"entity-type":"item","numeric-id":4385450,"id":"Q4385450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b14e8186f55ffcca8baf3e50bd373b6fb57d63","datavalue":{"value":{"amount":"+0.7027904987335205","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":"Q4036554$410089C4-45C6-4DE7-807D-2E33DE92B452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b55841b26113440e04e3504437d5dc775bf6519","datavalue":{"value":{"entity-type":"item","numeric-id":3432606,"id":"Q3432606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ae72af6f7909baec4fddd983706a0de3f08410","datavalue":{"value":{"amount":"+0.695266604423523","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":"Q4036554$DB8FE672-AEF1-4D57-80C8-B2BA32855EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab4b3347b7e49eece1ce86c55276585b74c5440","datavalue":{"value":{"entity-type":"item","numeric-id":685420,"id":"Q685420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3bd5aa20ac3e5793a7797774f949cd6be9aca15","datavalue":{"value":{"amount":"+0.6936554908752441","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":"Q4036554$7E51A612-D446-4D8C-8B46-63D2441CCD1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4036554","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4036554"}}}}}