{"entities":{"Q4017461":{"pageid":6047243,"ns":120,"title":"Item:Q4017461","lastrevid":55184392,"modified":"2026-02-04T13:26:28Z","type":"item","id":"Q4017461","labels":{"en":{"language":"en","value":"Provable isomorphisms of types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 91492"}},"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":"Q4017461$8BB4B286-BC76-47A5-8234-9F259B02A725","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c70df938ee7ce4eb0b4d54429ef47eaeb9a403a1","datavalue":{"value":{"text":"Provable isomorphisms of types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4017461$37B4AFB2-8095-4EC4-BC9F-C1488F692BE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"574719057279e2651367b08162e4414a129546d5","datavalue":{"value":"0763.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017461$1172EDAB-7706-4DE4-981A-78039608CE87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7aa72fee9352412d87f35c1a6565b9e8e0d78558","datavalue":{"value":"10.1017/S0960129500001444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017461$62C60FCC-3ACB-4029-A5AC-07055E9B19E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98fec3557092856a170ce9a1aafd90c4f7da6f39","datavalue":{"value":{"entity-type":"item","numeric-id":751292,"id":"Q751292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017461$6D90B84A-BEDC-459C-8E15-B01704D12607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"486d099545b5d657b05fa44bcf3d0c8a1580d678","datavalue":{"value":{"entity-type":"item","numeric-id":476170,"id":"Q476170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017461$EC946CB2-FE58-42EC-9A3D-C61B31F4AB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03c3b74ff26c086a7988af4846b84322637129ef","datavalue":{"value":{"entity-type":"item","numeric-id":1868461,"id":"Q1868461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017461$07D5EA57-63C0-4C6A-ADD0-9A142AB05B58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017461$C573307D-6FC8-44C5-92D8-0521B3CAC371","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-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":"Q4017461$16EFAE23-0ABB-4202-9BDE-09F368CCD21C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017461$B9DA1D8C-5F36-4613-A6FC-8F7FDAC1DE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017461$8086DC0B-3602-4B34-B9BD-F7E8857D6303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017461$4E84297B-3C27-4DFF-B340-22717728C1EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e78600e1047a0d519ac679da3205f586cd5f5793","datavalue":{"value":"91492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017461$FAF5A7AE-A24B-458C-B99E-C1FABB6262EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1c45196cdd85ad95682c1a388584062cb0d282","datavalue":{"value":"Cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017461$36E37130-97F6-4708-9836-786A7C1ED327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44d3f364602e2e9c1e16f3013c637275304dedbe","datavalue":{"value":"positive intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017461$A6FC2D06-95A0-4BE7-9744-CCF38732C2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cda39fceb693e5e419791babefe4ccef0928e2f","datavalue":{"value":"models of typed lambda calculus with surjective pairing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017461$EE6DC842-FA39-4302-BC01-C9CEE4DD1450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0563f7fb1eae0658b9404e6e8f4d6f4a761417e4","datavalue":{"value":"types as search keys in program libraries","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017461$7E978E18-8600-42C3-9AE0-9CF989156B8B","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":"Q4017461$D9B67DE9-811F-4B6E-B249-9BE5987F06E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017461$D8AAA259-297F-4EAA-A2B9-A8B7E33D4CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b93f973f98b4638e8fbd5879c5084c6be77b8024","datavalue":{"value":{"entity-type":"item","numeric-id":3322071,"id":"Q3322071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017461$FB9A030D-FC8B-4E4F-A13A-EEE48883E005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2db2ba829b037cf2efb18b93f4aa34513a9246","datavalue":{"value":{"entity-type":"item","numeric-id":1838563,"id":"Q1838563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017461$C418CE9D-246B-4EFF-8027-03909F764D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d200aa475432d92cf0a3f614d470d87c0e4c91","datavalue":{"value":{"entity-type":"item","numeric-id":1242896,"id":"Q1242896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017461$18BA0291-10CF-4FEC-BCB3-F713CCA52880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017461$B940560A-8EC4-4C16-8D59-A4871FE15546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a863517901a3f6f127be35b27a5fd134ba792ecd","datavalue":{"value":{"entity-type":"item","numeric-id":1159627,"id":"Q1159627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017461$4D85E32C-4F47-438E-A093-6C3A53B4E47F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5dc9c700e5d32ebe61475ed786cd2de5baa7d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1893735,"id":"Q1893735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78217959ace42c3984a7dd1281608544cd17f1d5","datavalue":{"value":{"amount":"+0.7898401021957397","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":"Q4017461$ECA86B81-E4C8-4F98-867A-E03450E30279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68dacc64cc5beb9c3b2e3c0b9c12fff9130c1da4","datavalue":{"value":{"entity-type":"item","numeric-id":4945229,"id":"Q4945229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86314a6f889ab9eacc41b7a042c398e0c29f4262","datavalue":{"value":{"amount":"+0.7837310433387756","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":"Q4017461$CA91C128-A51D-4BAF-B634-E013F4C1A2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cea5ad7f28fa0259edd7330e429b90199a5a897","datavalue":{"value":{"entity-type":"item","numeric-id":4325974,"id":"Q4325974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0071462760510a71753d1a7c458374b1d626f95c","datavalue":{"value":{"amount":"+0.7826544046401978","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":"Q4017461$6361CB06-21D9-44F6-8903-0AC91E7B6D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063ad9599fb8fe9d6fbb4fc834f6db6a095f0144","datavalue":{"value":{"entity-type":"item","numeric-id":4010353,"id":"Q4010353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0071462760510a71753d1a7c458374b1d626f95c","datavalue":{"value":{"amount":"+0.7826544046401978","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":"Q4017461$68AE800F-8AE9-4010-A327-C9AAB3A75AEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4017461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4017461"}}}}}