{"entities":{"Q4635638":{"pageid":6665219,"ns":120,"title":"Item:Q4635638","lastrevid":58316118,"modified":"2026-04-04T16:52:42Z","type":"item","id":"Q4635638","labels":{"en":{"language":"en","value":"Axioms and decidability for type isomorphism in the presence of sums"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863111"}},"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":"Q4635638$7AA28990-07FA-4F84-A6B4-7261B6A6F47F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b29f6379791181368ef30bd35c08654ace72b04","datavalue":{"value":{"text":"Axioms and decidability for type isomorphism in the presence of sums","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635638$4DB73BF1-D93E-41FB-A410-51B34013B7A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f261fc19b2ed3708050770225638142873d36647","datavalue":{"value":"1394.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635638$C1F57D09-71D5-41A7-AE40-01317ACFD41A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0cef7fc3a20d41798b432aa0aa4043817d8ce7d","datavalue":{"value":"10.1145/2603088.2603115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635638$F6D859A0-0204-450A-91D2-9C6EB25ABA38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eaf340d7ff821e26d8a935bc7e4aa006ed3e278","datavalue":{"value":{"entity-type":"item","numeric-id":450949,"id":"Q450949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635638$76B03927-4DC4-4CF5-B8A4-5FE78D456913","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635638$577AE795-EE65-4657-AD82-1BAF12D72D9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-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":"Q4635638$CA1B9DE3-F515-495F-8AA0-81766F54B65D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26bacb951e9018fe1bf262b81fb932f01a9c79fb","datavalue":{"value":"https://arxiv.org/abs/1401.2567","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635638$D2439094-F504-4267-AAA6-6A4C7DD1C0B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635638$04238561-D02D-4129-8784-F326BEB06CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635638$0F5CCFC6-F28E-403C-AF3D-D954C998BE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635638$704A6F8D-F5F5-459C-9642-33CC0F88D5D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a017da2762a8d77d89daa80cb4ae33c033ce39d7","datavalue":{"value":"6863111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635638$407BE0DC-F251-42EE-83B7-A1E6BF242AF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a8bbc27a086ab2713e717f477e22626e65eb0d4","datavalue":{"value":"completeness of axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635638$1DE3708E-84F8-4A60-A600-8DAC87F80AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635638$7B7F2154-8735-453F-9440-69E49D69835B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2139f1c16073d88dbbf22173fbd821477ce7613","datavalue":{"value":"sum types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635638$276DDAB3-1C97-45D7-9A56-BE5A00D74DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c91c7c0e1050145142a02efaff3a9478404799","datavalue":{"value":"type isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635638$86945D47-0811-41AB-B0AA-0D723677188F","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":"Q4635638$81E92CCC-20AB-48E0-801A-6EFE973C6878","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fdc38bfa9e181e620188c3876d6d8813eb0c4e2","datavalue":{"value":"W2065381138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635638$F7ECC7AD-4A21-4DD2-B490-AD06F41C8236","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":"a91d94e09c3ec6f8e6bcf7368530f5eb37250081","datavalue":{"value":{"amount":"+0.7948335409164429","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":"Q4635638$ED56D8EB-696B-4D6D-801B-AEC72CB930C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09368306c08877f9229e8b697750eab81dbcd98","datavalue":{"value":{"entity-type":"item","numeric-id":2498898,"id":"Q2498898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e693769bfb11a42c402cb02d45d2816d0b4e7c8","datavalue":{"value":{"amount":"+0.7695050239562988","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":"Q4635638$B4E9104A-5FD8-4E71-98E3-5CEE9961157B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58670239119ebcc87012c052b3b7ae67a9b5bf6a","datavalue":{"value":{"entity-type":"item","numeric-id":3372683,"id":"Q3372683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ba17371816c91b4945e3a045bbd49176995b62","datavalue":{"value":{"amount":"+0.753389298915863","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":"Q4635638$E2052FE1-3128-45E2-8DDC-7306887B995B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73e901229051bd041f2730b01584832bd3077de3","datavalue":{"value":{"entity-type":"item","numeric-id":4017461,"id":"Q4017461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d00e1a64589e3063d2a5bd0477c6cea87b7ffb1","datavalue":{"value":{"amount":"+0.7450922727584839","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":"Q4635638$37B92186-1B9E-426D-9B60-46C0A04710B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23aa69aa6e3ee59ccf8ba988ede7f044ae9fefba","datavalue":{"value":{"entity-type":"item","numeric-id":4362968,"id":"Q4362968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df252c2b9f76db1a8ee498afbaf975e662ae152","datavalue":{"value":{"amount":"+0.7399438619613647","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":"Q4635638$70617D8B-1B67-461A-ABD4-11585CCCDE67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635638","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635638"}}}}}