{"entities":{"Q2942928":{"pageid":2953648,"ns":120,"title":"Item:Q2942928","lastrevid":52343732,"modified":"2026-01-22T09:45:35Z","type":"item","id":"Q2942928","labels":{"en":{"language":"en","value":"Guarded recursive datatype constructors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481298"}},"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":"Q2942928$6ACCD734-F89E-4106-A278-1AEDB8EAB024","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"daad98caba582cd547150089db088f1a97e52097","datavalue":{"value":{"text":"Guarded recursive datatype constructors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942928$9F8B1ADF-F64B-414A-AD40-5703789E1895","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be270fdf81e9569e966eeaa0f3bfa1d454e79584","datavalue":{"value":"1321.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942928$86647E8C-8E8D-4CEF-B67C-865A8B6F14FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"087d11a03c13f1e912333adfa8235424911c074a","datavalue":{"value":"10.1145/604131.604150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942928$92CE7C91-4F41-40AE-A890-410F303C9C1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bef15dcc9d238b439c915f4010ff60c2a860bd9f","datavalue":{"value":{"entity-type":"item","numeric-id":1286372,"id":"Q1286372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942928$9E034251-2AD3-4F3D-A0D7-148CC88D1D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b82d36e51997124a49664053ea8037a3ca5ffd0","datavalue":{"value":{"entity-type":"item","numeric-id":2936768,"id":"Q2936768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942928$D2BA288C-B7CF-47B6-A3FC-980105DAFC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a04b7ffbbf9ab5e337a666c06b668d180e369475","datavalue":{"value":{"entity-type":"item","numeric-id":270349,"id":"Q270349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942928$66359063-0A4C-4990-ADD8-7E9DD0528C45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fe4faafe02e13d99969745e2d33def8fcff86e5f","datavalue":{"value":{"entity-type":"item","numeric-id":2942908,"id":"Q2942908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942928$29BD80DB-DEE5-4768-90B5-B1819C6907BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942928$68A79358-B5A1-4755-8107-E4B20F4F6DC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942928$242E8BFE-4952-4683-96CA-D5ACE036F380","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4671474006dd1a25cfd359fe5c9a225a957fee1","datavalue":{"value":"6481298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942928$6F622C84-5970-49CC-A317-026BE2C56DAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e77a2fca3503bd2b32b306c9bc35f923960c2e8e","datavalue":{"value":"guarded recursive datatype constructors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942928$EA71614C-8535-4441-A71B-571ADE305923","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5d706235782527c086190bdadd5c408c9fe2bed8","datavalue":{"value":{"entity-type":"item","numeric-id":53376,"id":"Q53376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942928$386A3B76-A34F-4BA9-87A3-3CD6E8FED7B0","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":"Q2942928$479C603A-73EF-4384-98E5-8EB8713ADA63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7619692a86c953358d42db094aab9b809de2d50","datavalue":{"value":"https://doi.org/10.1145/604131.604150","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942928$0ABB5507-3D82-45AA-ACEF-30AE89727327","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"834d14d7ea4c6c3bc9e3d21fef5c39d8b4fbd089","datavalue":{"value":"W1984514567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942928$5B1D1ED9-C77C-48D5-A64E-6DF1B4798175","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942928$C87F67CD-14F7-40AC-9523-E3024E08581A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea334578279375cd494f9ffbd32e4068cfda451","datavalue":{"value":{"entity-type":"item","numeric-id":4301602,"id":"Q4301602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942928$6C2B5577-FD43-4FE0-B637-452A8488D02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329875360c314fd0af99b4311a7c2ffceaa68e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5178874,"id":"Q5178874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942928$490BBC96-6B21-4406-9EA1-AD62E37DF06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7f104c50f7164f6e83866a4193e8564362ebd9","datavalue":{"value":{"entity-type":"item","numeric-id":4411812,"id":"Q4411812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942928$20CB4DCE-1571-45A7-8658-D08593685183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351879948b4564c55d2d068ea5683d8ac895d03c","datavalue":{"value":{"entity-type":"item","numeric-id":4414525,"id":"Q4414525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942928$A00B688B-0D84-4E11-AFB5-B85E5A2C33FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942928$80A75088-0EDC-4C8C-9C58-EC6CEC7CF0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942928$8DF0C6B4-F60E-474D-A04C-E93789CD90D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0311c2c4996c9c68c0443bd4383ed0d4a789f29f","datavalue":{"value":{"entity-type":"item","numeric-id":4409150,"id":"Q4409150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942928$0B8EB6E9-A40D-4FBD-8B02-4048B28B208E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6922a340f259f222c652fb9237b5b015ff20319","datavalue":{"value":{"entity-type":"item","numeric-id":2974778,"id":"Q2974778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb77b6492abd2633bd2bca50ec4f154c025257fd","datavalue":{"value":{"amount":"+0.7312563061714172","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":"Q2942928$C6B89D5E-441C-4757-AB98-4F48FD49A34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f6efc51f8f3332befa9fe44eae03bad6f085d5","datavalue":{"value":{"entity-type":"item","numeric-id":4635887,"id":"Q4635887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24da83b5645bf4bfd104e8e59d9f2b230b0ec734","datavalue":{"value":{"amount":"+0.7270435094833374","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":"Q2942928$BD2D61C3-41EC-47C7-8BF9-F07D720A37D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9892fc98bbefb0a9f2ddd559807aca5e8db6622b","datavalue":{"value":{"entity-type":"item","numeric-id":2949454,"id":"Q2949454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed3632b468d9dd50762ea93d9b26eba27ed2e95a","datavalue":{"value":{"amount":"+0.7254540920257568","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":"Q2942928$97AD8057-A387-4EBA-AD51-247E54F44A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3061c25d6f2c9d8be47fee4dfab609b514b4579a","datavalue":{"value":{"entity-type":"item","numeric-id":5144643,"id":"Q5144643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea3414175251f1b840b5f28695261e86709ae56","datavalue":{"value":{"amount":"+0.723763644695282","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":"Q2942928$9C645894-2715-4CDB-B4C7-1A8F02171B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c095875774ffee57b0e0e5306fd68355b8adc7","datavalue":{"value":{"entity-type":"item","numeric-id":2811330,"id":"Q2811330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"721c016a17de9bbc985ea36ad5b6cd0dd251acf9","datavalue":{"value":{"amount":"+0.7211726307868958","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":"Q2942928$5F1432A0-8111-4C9D-AB4A-2CF7A712868D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942928"}}}}}