{"entities":{"Q1407571":{"pageid":1418311,"ns":120,"title":"Item:Q1407571","lastrevid":68634141,"modified":"2026-04-13T01:04:57Z","type":"item","id":"Q1407571","labels":{"en":{"language":"en","value":"Representation theorems for transfinite computability and definability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982497"}},"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":"Q1407571$DCB205B3-B96A-4ACD-ABBB-59B76302DC5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d78576f6efbb85e3deb99b4f1a51fe2cc5c6b5a2","datavalue":{"value":{"text":"Representation theorems for transfinite computability and definability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407571$B3CA3183-066D-4669-8CD5-F2642F0CE99E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e297e8205ee80990a26dec79ebaf000c33038c3a","datavalue":{"value":"1025.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407571$1C5320E0-441D-48FD-B386-724E652EFDBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407571$FA8D96D4-F88C-482E-BB95-E18F499DB497","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407571$6783D0C2-6240-4938-8DEF-D6D8303C8CD5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0cc9f60e91ca9cdbf1cf2421d8e7218c748fcc0","datavalue":{"value":"http://hdl.handle.net/10852/42952","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407571$BD9F85CB-DC7B-42EE-BD05-550BD264889C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407571$B81B1DAC-8BEC-4FFE-A350-D5460786E368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407571$33FC1D27-9B2B-4AA5-B294-6B380692B887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407571$9D27E717-C12E-401E-9B50-3600A53FDB8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"818353dca70ee7bf4d7da0c479053f1dbcedb26d","datavalue":{"value":"1982497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407571$9BB590F4-C100-45F3-870E-DCF178BB3CD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"731e0be234103858d8a68af08d200366ba1bc981","datavalue":{"value":"infinite computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407571$28DD5288-4CB1-4B8E-BA09-1AD830160E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b9dc8ad3d716500945f24344bc628ac3e6598e","datavalue":{"value":"representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407571$9B299FD5-AD4C-4048-AF55-B3442CDDDCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f80af0a38ffade0346e71f2d68bd91dbdcdf26d2","datavalue":{"value":"positive induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407571$E48DACDB-A665-47AF-92EA-49017020CBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dced2f8f6a6b10d5dc55e6639c489edc057ca16a","datavalue":{"value":"domain with totality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407571$2BA1ED38-671A-48F1-BB74-50C8828E90DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e2194cbd076f554310c20043be5c70c039c27e","datavalue":{"value":{"entity-type":"item","numeric-id":1063590,"id":"Q1063590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407571$2BAA6CEE-7535-4BB3-9674-BFD79D3378A2","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":"Q1407571$377F1F00-5588-4C6D-A180-34E67209EFC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2130b272d784bfb169a116f31bfbd65f527522ca","datavalue":{"value":"W1974400185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407571$7875F9BE-5F2A-4F2A-A25E-21F5535F6FCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcfeef19522bd2d138e86901c32cb9359fd94e45","datavalue":{"value":"10.1007/S001530200137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407571$B4456DA2-FE37-4248-84B2-1B176F1FEDF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa87ea6008cd0f9998c77d12cb41e7419b1c5a73","datavalue":{"value":{"entity-type":"item","numeric-id":1210138,"id":"Q1210138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55121f2aa83afde5d6e3ec8ed91848e6986b1c01","datavalue":{"value":{"amount":"+0.7562575340270996","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":"Q1407571$523FE413-5C54-422E-BF43-A5620181B915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84222ddae9981f3e88488cc16790636c92ea792c","datavalue":{"value":{"entity-type":"item","numeric-id":2946357,"id":"Q2946357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd04b4fba1b92c0783718225657fdfc130aca9ea","datavalue":{"value":{"amount":"+0.7365973591804504","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":"Q1407571$E32C2F19-6491-4C30-9663-B148C55BA697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23cd82191a9f77df1c49e5fdcb84934a3d6e199","datavalue":{"value":{"entity-type":"item","numeric-id":1073022,"id":"Q1073022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39cf7db984a13a19f6d2491d78fddd6cae2028d3","datavalue":{"value":{"amount":"+0.7358138561248779","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":"Q1407571$EFC01A09-4A9A-4982-9D17-E80388359B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d10f11fe749798e65bb57b8c876ab0e11257a8","datavalue":{"value":{"entity-type":"item","numeric-id":5717025,"id":"Q5717025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57180558122f1b1569f34bb845eda9f45cc1c5b6","datavalue":{"value":{"amount":"+0.7264385223388672","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":"Q1407571$67515865-1C3E-440A-89FD-6397517E0CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f00c08c3c608e5daf13306079161cd53662af63","datavalue":{"value":{"entity-type":"item","numeric-id":3146243,"id":"Q3146243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50130415dbec8a5a95d9225ede58154db03ecf77","datavalue":{"value":{"amount":"+0.7245470285415649","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":"Q1407571$57DA239E-BD09-4AF3-BD91-764F6D4D8301","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representation theorems for transfinite computability and definability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Representation_theorems_for_transfinite_computability_and_definability"}}}}}