{"entities":{"Q3304152":{"pageid":3314860,"ns":120,"title":"Item:Q3304152","lastrevid":53786066,"modified":"2026-01-25T17:30:06Z","type":"item","id":"Q3304152","labels":{"en":{"language":"en","value":"Recursion schemes and the WMSO+U logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228444"}},"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":"Q3304152$64753B35-9E0D-45C7-80EA-1818ABF0FB6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"803eb69185df1fee994a4a9067decaaa32864dff","datavalue":{"value":"1491.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304152$469B9F71-E44D-47EA-B78A-6C85FE182112","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f8cdd386691c1fea5e73df605fd6f51a4e84c6","datavalue":{"value":{"entity-type":"item","numeric-id":894454,"id":"Q894454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$523E1120-4686-4BFE-AFBD-E2A4EF99D249","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3304152$ACD913FA-E53A-412E-A594-2DCE216A088F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304152$3D7AFE58-7F30-448C-9E34-B92D1EC46D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304152$B1801A0D-E5DC-419C-846A-2905F27CA267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304152$9D7BDAEE-644E-41EB-8021-270743DA8426","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1dda1779830dee45e675a5f0ca2cd0ed89174fb","datavalue":{"value":"7228444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304152$D6A36110-C250-4AD9-B306-BEAEC516B036","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79b822a0d22ade9dd3983480f17f2ae01ee86295","datavalue":{"value":"higher-order recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304152$D5437532-5587-4155-A207-64ED407E98C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304152$72DF44A5-3003-4F62-AEB6-6647B167187D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10b847c016084ad01ebc0ca89cb1ccbcce06dede","datavalue":{"value":"WMSO+U logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304152$587F5E76-987B-47B0-B52E-E7A4F2528DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304152$54C4A90F-0DCA-422C-A70F-CDB7747FB1F2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38ff53837896e0a2b555c23cf73374272fd5a663","datavalue":{"value":{"entity-type":"item","numeric-id":31831,"id":"Q31831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$8D8152FE-B262-4780-9C46-E6BD42745662","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":"Q3304152$6285F6FF-A506-453E-8A7A-9F7FFA7851EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1de9637af9a8fedcf8ab07e9c2d71e01bf8c23d8","datavalue":{"value":{"entity-type":"item","numeric-id":5565119,"id":"Q5565119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$33FBFAA0-A516-4BA1-992B-749B093ED385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa16ff3648f97d5a80ca8505b4c8cd5694c9d7fe","datavalue":{"value":{"entity-type":"item","numeric-id":3086920,"id":"Q3086920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$1349A93C-FE9C-4573-87CB-D0E441F397F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39921ea5b5cf71915749d2f66167648a28ef38f4","datavalue":{"value":{"entity-type":"item","numeric-id":5311284,"id":"Q5311284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$EDC8984C-361F-4C9B-9AB1-E7B798B6AE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6a9e72cc7a907f4e0cc2ac1d393b3b2128916b1","datavalue":{"value":{"entity-type":"item","numeric-id":537919,"id":"Q537919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$6E4B70EB-54D1-4B29-9A27-7882941D58E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc345e4f187b136ccf0ef87dfd35fd64a8775d8","datavalue":{"value":{"entity-type":"item","numeric-id":5167825,"id":"Q5167825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$52D45C7F-7644-4A33-9CBE-4F1AE978C08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa95fc5a9276312473aacfb909d47c798f6352b","datavalue":{"value":{"entity-type":"item","numeric-id":4601873,"id":"Q4601873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$371EF749-E8E4-4011-942B-FE73CF1F27D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e3faefa91cb38d80ce0012441421cdf35901930","datavalue":{"value":{"entity-type":"item","numeric-id":2904801,"id":"Q2904801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$6F61F7FF-0112-41D5-A0F7-D05F0D0D895F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74374a8fe3637c3aa0bd4d13c222f64d3f91ffd4","datavalue":{"value":{"entity-type":"item","numeric-id":5687660,"id":"Q5687660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$727D554A-B3C8-4494-90C2-F009F45BF856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd70181a109c9c53308b7092100e6ab2212aae2","datavalue":{"value":{"entity-type":"item","numeric-id":2958519,"id":"Q2958519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$2000C341-C605-4328-812D-19F5AF634DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10cc666d1144d09fccbec429175298ce80913d44","datavalue":{"value":{"entity-type":"item","numeric-id":3617724,"id":"Q3617724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$9F9C2838-E111-4560-BA88-DB79F15A35A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"236777dbaf4cb224e1142212cf3986ded5142113","datavalue":{"value":{"entity-type":"item","numeric-id":2986793,"id":"Q2986793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$6D82916D-30D6-4236-9EA2-A0F1D6E70BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4630cb20bffc3b123eef8415d7aeb24d2bdd3bb9","datavalue":{"value":{"entity-type":"item","numeric-id":4635865,"id":"Q4635865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$3CF84170-39D6-4897-83E9-B6A850F80EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ada71a92d72dc461ab64d798056a73f71504ed","datavalue":{"value":{"entity-type":"item","numeric-id":2947878,"id":"Q2947878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$3D02D171-AFBA-4E30-B059-8FE107080F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a5a548de29292f3076e3c387192aa95b4bb026","datavalue":{"value":{"entity-type":"item","numeric-id":1161273,"id":"Q1161273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$5510173E-538C-4625-A586-6B3C4BFC75F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$52873D48-668D-463A-9E4C-99079E836610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953f99b80104e1a814b3aa9434b35ab8a83be132","datavalue":{"value":{"entity-type":"item","numeric-id":3586053,"id":"Q3586053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$E561D72E-5238-4A64-8A95-2C6843D24226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f432a378a2a52eb6368f54838cec386ee473cf","datavalue":{"value":{"entity-type":"item","numeric-id":2828251,"id":"Q2828251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$F9BE52F8-A432-4DC3-A2AD-D1B686E0AF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a16a62a48b7ef3a878f44acb4ef00053e7682f3f","datavalue":{"value":{"entity-type":"item","numeric-id":5351973,"id":"Q5351973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$71B7DEF5-F343-40D9-9ACD-746656E8BE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d1aa905e95be265c244d30c11bb90a000f72c9","datavalue":{"value":{"entity-type":"item","numeric-id":4738227,"id":"Q4738227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$05571441-7101-4740-8494-7C110DEC5A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf3563ac3ed27674f0edae713aa63792a6b8330","datavalue":{"value":{"entity-type":"item","numeric-id":3000614,"id":"Q3000614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$D0EC47FA-E122-49D6-9431-95A6B2EFB466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7036b55470ecafa335a5dc20bc350fe1a5716a3","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$044AE98C-04E9-43C1-8DED-3ECF71F4B974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6a43a63eac48a4e5cfd05d028c83d13a741b81","datavalue":{"value":{"entity-type":"item","numeric-id":5278397,"id":"Q5278397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$D307E813-1889-4E3E-9099-FDF166A4528F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6dc5730c6956a442fe56abd4ce427894b06e399","datavalue":{"value":{"entity-type":"item","numeric-id":5408403,"id":"Q5408403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$72679A47-91A6-41A6-9B00-E8780D0512B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b567cf8cf2023b9bd874b28cb13ae525c4c5e733","datavalue":{"value":{"entity-type":"item","numeric-id":5300902,"id":"Q5300902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$241FC035-9F0A-407C-BCA7-A77C9170F47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c93c64c72ec02da95173e8a18fc60dccb0e2ee0","datavalue":{"value":{"entity-type":"item","numeric-id":476196,"id":"Q476196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$97F11CF4-90F7-4452-928C-A1D255C6ECFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8047bcca7e43d3b64f55a847c6c65354dc25e6","datavalue":{"value":{"entity-type":"item","numeric-id":5351960,"id":"Q5351960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$FADEF134-7070-49E1-B773-0EE7BC2718BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8899f398543bd23bc0a70006c8cddf8efeba9fb","datavalue":{"value":{"entity-type":"item","numeric-id":2973243,"id":"Q2973243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$D32686FD-C7E5-4F2B-950B-0FE87D303D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304152$3C97E540-3FA1-47E9-875E-F78596983B23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5d075c4eb242741e453b5ae89ab5535240f5eff","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.STACS.2018.53","type":"string"},"datatype":"url"},"type":"statement","id":"Q3304152$BFAF8D96-C36D-4576-9F26-83278387DC7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f936effea5735bac220de8d90cd2aa319b061882","datavalue":{"value":"W2791847152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304152$B432F60E-84BB-48A1-B72E-A2E04D84C8F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e883b7de874d37b8b34433d103e587c15adc41a5","datavalue":{"value":{"text":"Recursion Schemes and the WMSO+U Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3304152$920E3CB7-7EA7-4120-8975-69C41B2C83F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32a41d728f5a6f6447c363f9135b57d5148cc6fc","datavalue":{"value":"10.4230/LIPICS.STACS.2018.53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304152$C2B615DB-720F-4769-BADE-B257A5C3B36B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb02510bd1f2f59529b2f6c03617ed19d355eb7","datavalue":{"value":{"entity-type":"item","numeric-id":2904801,"id":"Q2904801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce797ebe219fb1713a36a9bdb74caaffa9ac9731","datavalue":{"value":{"amount":"+0.7947074174880981","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":"Q3304152$519A3752-C337-4B52-9223-B2455630AA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7675bd44dd204a5fc12e0dd88d9dfbbb95e7ac12","datavalue":{"value":{"entity-type":"item","numeric-id":2672657,"id":"Q2672657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1c2b92040366eacab1ed772b0053d580ac7d21","datavalue":{"value":{"amount":"+0.7727898955345154","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":"Q3304152$3470CACB-9A8C-40A5-8E07-3FC4B5FAD484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2896f30c6c53c18958b74ad1d06c1723987037","datavalue":{"value":{"entity-type":"item","numeric-id":5167825,"id":"Q5167825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cc42eeecc904bba788f000dada26f30ca2f149","datavalue":{"value":{"amount":"+0.7611381411552429","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":"Q3304152$5D1F95E9-F486-44E0-A586-355C2896E80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bbf6bbcabe8cab958b96d8e6f29f46c17585ef","datavalue":{"value":{"entity-type":"item","numeric-id":4601873,"id":"Q4601873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a60bffb5df563b03644e211d31bf623fb52ab9","datavalue":{"value":{"amount":"+0.7537025213241577","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":"Q3304152$F6458408-63DB-47FC-A965-27DAF7EEA18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4027fd434d9680de2acf923c852fe4102e92e2c1","datavalue":{"value":{"entity-type":"item","numeric-id":4635865,"id":"Q4635865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc53054ee5434b3be2ec5534b6c10f03793eac2","datavalue":{"value":{"amount":"+0.73469078540802","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":"Q3304152$2AD8894A-14F9-4EFE-8BF4-3715875D41EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3304152","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3304152"}}}}}