{"entities":{"Q5890041":{"pageid":7919591,"ns":120,"title":"Item:Q5890041","lastrevid":47845309,"modified":"2026-01-02T20:54:53Z","type":"item","id":"Q5890041","labels":{"en":{"language":"en","value":"Computational adequacy via \u2018mixed\u2019 inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680634"}},"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":"Q5890041$95E7D89D-09B2-469A-B362-F847309A3BCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98be61c7d5a879617a12dec3e5a9a74b3d854e03","datavalue":{"value":{"text":"Computational adequacy via \u2018mixed\u2019 inductive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5890041$E3A59D11-5A7A-4C36-A379-BC70E66CCEB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a1c6d751926ade71d41f2413949ddb36dc0c74e","datavalue":{"value":"10.1007/3-540-58027-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890041$31170D89-2185-4CFD-9CFE-A74A584719C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890041$D58F8DE3-EE91-4606-955D-8AA9CF00C22F","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":"Q5890041$AA15F1FB-3F30-45A2-BF81-1E4AE353AE10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5890041$9A09F397-E846-44BC-8436-4D8155DE80F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890041$DD99829C-D7C5-412F-A323-22CD12233827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890041$6896C1F2-29DA-47F4-AF00-B69BD9ED26D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"239b4c1ea8ec8b927d61024571b14f911fa674ff","datavalue":{"value":"7680634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890041$AE5C451C-B019-40D6-8E79-36982CDAB488","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92866b1654af1a662b0f26d63d8a7f6a99d8a2f4","datavalue":{"value":"binary relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890041$005B88BF-3E06-4549-8C76-7A15ABCEA7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc8a51897fed40679788b31a9042e28be620233e","datavalue":{"value":"denotational semantic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890041$E95353FF-9352-4E64-9EE0-A495115432B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecaeeab4e4e28087c0875bb73cc6106bd3ccc0a5","datavalue":{"value":"domain equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890041$39450929-1E5D-4F5D-8EC3-894D8A608A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4af3e573c37512545d4dd2737c896674104b5c","datavalue":{"value":"fixed point property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890041$0C64BD63-806A-4D69-BBE7-D0E5D8714550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba29bc695092e1012b615eb49ec43774f5b5c42a","datavalue":{"value":"inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890041$15F6C7AA-D4C2-49F0-936F-93854E08F208","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":"Q5890041$0FF60080-4F44-484B-AD6B-BBC5C052EFDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e5b7833a0411b5a9835ba95283582ecedea81c5","datavalue":{"value":"https://doi.org/10.1007/3-540-58027-1_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5890041$E283D32E-AD44-45FA-96F7-1395C009D567","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"693e80a066d363af433b8868d1dc8a6b073947fe","datavalue":{"value":"W1551132038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890041$509D42EA-B58C-4457-8B75-C57325441DF8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890041$6DA1DB8D-D52B-4B0B-947E-7F77509AAA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fee693ed63de795908d9ea9b39d5124d8fc52c","datavalue":{"value":{"entity-type":"item","numeric-id":3978971,"id":"Q3978971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890041$804D3A45-3F48-4838-AE41-363340E9AE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b446a9efc9b95e79a4963e360bfd0dc2c967cf02","datavalue":{"value":{"entity-type":"item","numeric-id":3138538,"id":"Q3138538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890041$C079E6E2-5BC8-4AEE-ABE7-B838CA784879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890041$7E2C0C4A-2DD8-4ECB-90ED-39D44F7A25B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890041$7F8375C4-CB2C-48F9-8249-F0BE3CD2FCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573bf50881a638b8d1bc1330f0a3383e6e028b45","datavalue":{"value":{"entity-type":"item","numeric-id":4072829,"id":"Q4072829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890041$AF2D3FC8-5EBE-4E23-B42E-AC3A27EEA168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890041$7174DC4B-669A-4B43-9057-3110163863FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890041$C09CEECF-9816-4FBE-8E7C-00DA1C85C590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890041$17737782-9F82-40AD-8D6E-67218D6820A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78c7b68c9356163b3f629414f2cbeb0c2a25b82","datavalue":{"value":{"entity-type":"item","numeric-id":1923093,"id":"Q1923093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f358487ddc69e4b04ff22d1588119c4506b38901","datavalue":{"value":{"amount":"+0.7719237804412842","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":"Q5890041$441B57AE-5AE9-4611-B91A-ED58DE91F507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e16d18820a44309ddaca77a6c6fd5a6d6159fff","datavalue":{"value":{"entity-type":"item","numeric-id":4698362,"id":"Q4698362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f358487ddc69e4b04ff22d1588119c4506b38901","datavalue":{"value":{"amount":"+0.7719237804412842","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":"Q5890041$1295112F-AF31-4136-9B3A-AE02242856BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b52dcb3a43fd3c0922cb00c393eae30968be3c8","datavalue":{"value":{"entity-type":"item","numeric-id":1652968,"id":"Q1652968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add1b95c1af86eca249b6a4bb943b138d5746844","datavalue":{"value":{"amount":"+0.7623306512832642","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":"Q5890041$7F93F41E-7713-4B23-9A82-A3C637EF1C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e649413681a21d6a72aaed2e7c95ea38361baa","datavalue":{"value":{"entity-type":"item","numeric-id":3183523,"id":"Q3183523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2fecd1f86217cafd42756f740ce886d7a029f0","datavalue":{"value":{"amount":"+0.7617507576942444","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":"Q5890041$7C2AC208-B8B3-474B-8C77-4CE5615A484F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d9c5e69d703007b3cbf501ee3f528c126a08e68","datavalue":{"value":{"entity-type":"item","numeric-id":6116563,"id":"Q6116563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a4ccaf98ebe14fead405018d845701e13efab9","datavalue":{"value":{"amount":"+0.7610305547714233","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":"Q5890041$1028B99C-3777-4233-A85B-65ECFE4B3449","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5890041","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5890041"}}}}}