{"entities":{"Q1374674":{"pageid":1385414,"ns":120,"title":"Item:Q1374674","lastrevid":70277607,"modified":"2026-04-13T13:41:30Z","type":"item","id":"Q1374674","labels":{"en":{"language":"en","value":"Total objects in inductively defined types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1095969"}},"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":"Q1374674$A3B0DDB9-87D1-48E3-BF46-5CD939B5C2D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b011fc16ac265d332b45460ff7d471148b857b1","datavalue":{"value":{"text":"Total objects in inductively defined types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1374674$3630B178-A343-40B8-BE9A-9079558A26C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4b1310149ba5b31048fa8cf530606c386b0838b","datavalue":{"value":"0881.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374674$9C6E0CEC-D61C-4708-AC9F-85BC967C219E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e7502148509557576dd7d15218a1a612c5e1fbb","datavalue":{"value":{"entity-type":"item","numeric-id":1374673,"id":"Q1374673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374674$3E2700C2-7B31-45D4-8766-FA9B8D2F9A28","rank":"normal"},{"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":"Q1374674$FEB4DAFE-84FF-4C68-AFC2-1E381890FC70","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":"Q1374674$A6B46315-BB5A-4A06-A2BA-E4D13F127946","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"821d7f721f24f1f1382687b1d48c6e7ff8844b0b","datavalue":{"value":{"time":"+1997-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1374674$5E6A9DDC-651C-459E-8C6C-05072E0D9602","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374674$79083C71-602C-4A8E-A84C-F84CFEF18157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374674$F9D78404-CC27-47E9-B661-C7516A069E30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b5a6b9f4caba17fce0a89e1a7a66732452bc8a4","datavalue":{"value":"1095969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374674$B54C197C-15E4-43B6-8D97-53F4E8AA6504","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a67edb18c19262df306cd16d2a41995439d9161a","datavalue":{"value":"interpretations of inductively defined types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374674$66156D0F-918C-4946-8FF2-790AE48DACF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c051d717f21e8252d46af1d853256723b9e030b","datavalue":{"value":"coherence spaces with totality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374674$B4BBF8E2-1C37-4C84-81B6-8B57B86F806A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"023833b1cb7f07a993cc95a382d767a12c4c53f8","datavalue":{"value":"positive inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374674$CE75C05D-A219-4F63-8A50-0754711AD05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93adf4985d12d5e866ff4d06144ddd723b10f97b","datavalue":{"value":"semantical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374674$149B90C4-5013-4921-B16C-9FEEF10C8950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"568f34926cd6229c3a8797844e6921a44f892231","datavalue":{"value":"type streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374674$7698FC63-153E-465B-A958-87FD5D2BCE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b23d45beb8d3d83cd589deb9a49b190125ab86c7","datavalue":{"value":"domains with totality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374674$29F5D79D-BE1C-4DF8-A8ED-79F3F6041739","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":"Q1374674$5C9F2C2B-2BF6-4961-84D6-99DFE4AFA63F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d163b13931c11245f1b0718b02d08d7abb959b2d","datavalue":{"value":"https://doi.org/10.1007/s001530050073","type":"string"},"datatype":"url"},"type":"statement","id":"Q1374674$F564F3B4-3F17-4C14-B3BD-7DBF09959BD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39232f07f71b75c19585f0070519d79c82b2d872","datavalue":{"value":"W1990444834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374674$6776923A-7E5C-489A-AA67-EB0B67921071","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87960f94303f45bb27c8a83c4327b161f868891a","datavalue":{"value":"10.1007/S001530050073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374674$55A3179C-17C8-4030-AF9C-53375E4D385C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8521e873a9ede93d7d82c0b6f388184c11eee487","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54d22f3d9aeea370234d4d8a83e6f5f366f0ad0b","datavalue":{"value":{"amount":"+0.8970773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1374674$505E0759-7DF9-44A3-ABF8-9EE3745DB67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3adfae7f702e823f6db49ebcd4f430440d27b654","datavalue":{"value":{"entity-type":"item","numeric-id":6083690,"id":"Q6083690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7898ddaa06e0d3864060133ea02673ac8ac0a279","datavalue":{"value":{"amount":"+0.89460325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1374674$F31219CB-9A3C-49FA-9C67-EEE46058A03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3774cac021645a742e372a809e398e85536093","datavalue":{"value":{"entity-type":"item","numeric-id":5887516,"id":"Q5887516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b54c236f4aae36626f7ef6b375638bbbdc21898","datavalue":{"value":{"amount":"+0.8865243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1374674$B2336D06-319A-47F9-A56D-2C0490519D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b229fdf3be6e29888a59c1cd99bc0786aab224e","datavalue":{"value":{"entity-type":"item","numeric-id":556819,"id":"Q556819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba19ce27a4f3d4405488b68585a37584cacba5a","datavalue":{"value":{"amount":"+0.8793311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1374674$57B26F45-37BC-4C67-98D9-F041E748B27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"623065ff08437486ed50597a174c726e37e50f76","datavalue":{"value":{"entity-type":"item","numeric-id":4299858,"id":"Q4299858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aee904f888330e88d498a5e350771fe386dfa31","datavalue":{"value":{"amount":"+0.8732668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1374674$40733F38-808D-4382-A55C-78213CBDAF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35a8f9fef2b3b8bea305cf37e5e01eb25074f3e1","datavalue":{"value":{"entity-type":"item","numeric-id":5554973,"id":"Q5554973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176a630790bb8a4419ee7dce744fea7d5585fd7d","datavalue":{"value":{"amount":"+0.87083083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1374674$A8D9F937-B1CA-4285-BEE9-6BD414C64F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f5fbc82dca18ce1062a5a9b485acd057cac6f4b","datavalue":{"value":{"entity-type":"item","numeric-id":4500532,"id":"Q4500532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1531ac8a3d21fe4d1c5d141beb1130f67d83cbce","datavalue":{"value":{"amount":"+0.8682964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1374674$AA493A82-64CD-49F2-9B5D-84A96DA99970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fe00dd16f83f29e78f1f29866c0bdd4cd88a8b","datavalue":{"value":{"entity-type":"item","numeric-id":4457447,"id":"Q4457447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf2ad9349b9b6751174f96d443345390f22d5ec","datavalue":{"value":{"amount":"+0.86265033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1374674$3319D774-0D94-4A6E-B954-A2079A3EB2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"387cce94216297b66f69d2aa4feef49d02d8cfd3","datavalue":{"value":{"entity-type":"item","numeric-id":4681362,"id":"Q4681362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf2ad9349b9b6751174f96d443345390f22d5ec","datavalue":{"value":{"amount":"+0.86265033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1374674$8924E804-AE7B-43D9-BE21-E14F87CB5324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f70332f25f8b1ef60c0baa6e2083a28ef246c43e","datavalue":{"value":{"entity-type":"item","numeric-id":866215,"id":"Q866215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e16cffdbba448ac139938b121f4d41833f159ff","datavalue":{"value":{"amount":"+0.86042696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1374674$634ECF77-8841-450A-AD47-9EEE9DEFC463","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Total objects in inductively defined types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Total_objects_in_inductively_defined_types"}}}}}