{"entities":{"Q5897364":{"pageid":7938320,"ns":120,"title":"Item:Q5897364","lastrevid":50911841,"modified":"2026-01-15T17:32:41Z","type":"item","id":"Q5897364","labels":{"en":{"language":"en","value":"Decidability properties of recursive types."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5674160"}},"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":"Q5897364$A152ED33-B91B-41BA-80D9-DF34C41E0EF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7ea66813ea6c53ffe397ae639f289e93260953d","datavalue":{"value":{"text":"Theoretical Computer Science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5897364$BBE8FD7B-5120-4683-8187-CB787EC111D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10b55d85f6407d9981f9313c905dd1d3eb9451ba","datavalue":{"value":"1257.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897364$BBBBF5EB-607B-49F8-87DB-A13F44D561D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5c21980e0dc5f1ec323feae4d70ec206146ed62","datavalue":{"value":{"entity-type":"item","numeric-id":756434,"id":"Q756434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897364$FF84961A-0E6B-4960-B2A6-887E17A3C2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"078cfe53af569247617001143d839321dd2e8878","datavalue":{"value":{"entity-type":"item","numeric-id":235602,"id":"Q235602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897364$AE5167D0-6FE6-4B52-BF47-F08770F989DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897364$60CB02EC-289A-40BE-B06D-E3E3DDEC2E09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24e3170ae1d6bebbc96609d601d5472b321e57f1","datavalue":{"value":{"time":"+2010-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5897364$0540A42B-3560-4AFA-9B5A-52766ADB4E9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897364$25F77950-AB69-49DF-8BB4-3DFF770D524F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897364$BE0B3937-3A6D-4E33-BB67-BCE67BCE9D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897364$BDF05976-CFB2-4E1B-9D2A-736E43226D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897364$CB511BF9-27A5-43A6-9355-85F5B33E621C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cc189ee939beca7ec54e9d99ea53d24050deb14","datavalue":{"value":"5674160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897364$DB37B242-E6E7-451A-B29D-345A9057D4B1","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":"Q5897364$F414FF32-2A8D-42CF-890A-7D4A9122F42A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99f5114f98f6e2f5de04ac668ddc51edea8b57c1","datavalue":{"value":"https://doi.org/10.1007/b13810","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897364$DBBA817F-5D60-4EAF-9682-F5F63ABB0AE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ace534d3d09da921364bd2948f60cb152a4611c","datavalue":{"value":"W3144329707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897364$13560863-0C33-40C0-B3BE-61BAFD30F034","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f516c0aedcc8f2bc00cc400ccde684fcacf779dd","datavalue":{"value":"10.1007/B13810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897364$6F6727CA-B5D4-4BCF-B922-20507FA505E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79d4d71ef5ad237bd63d7d2ab09a845db419fca7","datavalue":{"value":{"entity-type":"item","numeric-id":3452251,"id":"Q3452251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"874311747860b911896db07d575a37cf7ebe456b","datavalue":{"value":{"amount":"+0.7795947790145874","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":"Q5897364$D0A79445-EA9E-422C-A831-CC91E103615D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbb3792c7294973628dc4cec02b7076e8db03e8","datavalue":{"value":{"entity-type":"item","numeric-id":2771055,"id":"Q2771055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab84bec7b1ee3fee2bc1bd88ba88a005f3d72a4","datavalue":{"value":{"amount":"+0.7660039663314819","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":"Q5897364$1023E173-7EC8-4309-A7D5-3EC8DABE8998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff7eb1bfcd308ef3f89391bd6d79d1ea9fce910","datavalue":{"value":{"entity-type":"item","numeric-id":3709890,"id":"Q3709890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b42f9c72c329d1f5449d519351cd768d5c1f89","datavalue":{"value":{"amount":"+0.7567384839057922","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":"Q5897364$2B29F64C-E998-4239-B318-46DA981D4B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9db87dd978af34a06ed490bec7c1b4734f165f1e","datavalue":{"value":{"entity-type":"item","numeric-id":1854490,"id":"Q1854490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"682380c4d72bbc83c30652b25e4d07cc3f742ce8","datavalue":{"value":{"amount":"+0.7404192686080933","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":"Q5897364$251A0BEE-DBA1-4449-8F29-C463683BAF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a022293e98fb5f60bd0f397b7317e3c04813b57","datavalue":{"value":{"entity-type":"item","numeric-id":3837984,"id":"Q3837984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609a9424dc38e0164b94cc5f7ba01716893e830c","datavalue":{"value":{"amount":"+0.7367503046989441","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":"Q5897364$FA423C0B-EA86-42FF-B416-158E319BC527","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897364","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897364"}}}}}