{"entities":{"Q5120232":{"pageid":7149806,"ns":120,"title":"Item:Q5120232","lastrevid":53817452,"modified":"2026-01-25T18:40:33Z","type":"item","id":"Q5120232","labels":{"en":{"language":"en","value":"Leibniz equality is isomorphic to Martin-L\u00f6f identity, parametrically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7245571"}},"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":"Q5120232$A3459300-D7CD-441E-9E06-33B146C18D11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa849257d76c26cbe288f25921911240d75bbb3b","datavalue":{"value":{"text":"Leibniz equality is isomorphic to Martin-L\u00f6f identity, parametrically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5120232$DF32C8D2-5428-495A-B47F-CF47DB468ED5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b78dfac4e0857cb45c85754dc856351eaa77918","datavalue":{"value":"1479.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5120232$9C3AEC32-DC6D-4037-8C42-59ADED79CFA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28293605ef66eb74307b358062ae80d6df2e6f68","datavalue":{"value":"10.1017/S0956796820000155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5120232$04574527-B14B-4D88-AE9E-CDFA11E0563B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd295c773add0c694cee3f65e8e7cf93dc4bc27","datavalue":{"value":{"entity-type":"item","numeric-id":923882,"id":"Q923882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$2C04ECE6-5A16-480C-A608-DE0649DBB9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d09e0bf047a6c42f28d89aaad72021c8f313b69","datavalue":{"value":{"entity-type":"item","numeric-id":2819685,"id":"Q2819685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$A4F95F7F-129E-40D7-9C23-08AE5FFAA4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1529dedab76f5fce2b82e1e7164fb256a96937b","datavalue":{"value":{"entity-type":"item","numeric-id":2229235,"id":"Q2229235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$64CC9BD2-837C-4D51-B5CD-E73EBEFC33D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52254dabb8af5997f12cdfe0722d50f0619c8ae0","datavalue":{"value":{"entity-type":"item","numeric-id":2787452,"id":"Q2787452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$E77826E3-CA1E-4CB4-A61B-7D579914B12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8fea356f84d37a924ceb58cfe03d1b4469ed36c","datavalue":{"value":{"entity-type":"item","numeric-id":879365,"id":"Q879365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$8DA3DAA7-10EC-4B70-9D0C-444B1BEB8833","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$342FCEB0-089C-4E33-B82A-58640FE2EF93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2af50a8f38b9014baebb3050a8a71f7f232c1207","datavalue":{"value":{"time":"+2020-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5120232$09DB437A-6BE6-414B-9DF9-CC096A67B3B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5120232$1887FFB0-60F3-4D00-9461-EF18FAB6B3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5120232$904C5C88-515A-45A3-87DA-D98C98296D0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f87002929786a8548fbe114132f28f7f8056518","datavalue":{"value":"7245571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5120232$8791D6A2-090C-455B-B219-D6AB331C04DC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d08db8e38753f4bdeb0576f028b89e59b9d13733","datavalue":{"value":"Q123188673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5120232$70BEFE38-D9E2-41A6-9194-44F8C4349F19","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b29eb58b948f9f996cbb5eae736ddbdaf0434b06","datavalue":{"value":{"entity-type":"item","numeric-id":34514,"id":"Q34514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$AACE2700-D098-42D0-8E39-0A5C9EF2F073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$CB377AE7-8A16-4C9E-8388-93FAA8810D68","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":"Q5120232$70E9EB43-8FBC-477D-9447-81F99DD08EDA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e739d4e358cfe0bff089251671b51e298177305f","datavalue":{"value":{"entity-type":"item","numeric-id":5408445,"id":"Q5408445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$04CCD6C9-2CC7-46EA-ADD4-74FBDAEFBAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a24fad2ff9db69533d40041ceeea69bfdb0cd26","datavalue":{"value":{"entity-type":"item","numeric-id":5971392,"id":"Q5971392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$3BC4E8A5-F8AA-475F-9605-6B7CA47F485F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e154aa9118f1cfec335fe4b3f0ee878903e59e9e","datavalue":{"value":{"entity-type":"item","numeric-id":5176953,"id":"Q5176953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$0827CAC2-A52E-4137-A5B7-9943B7829418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95fab8824d82d4ca6fefb7d000ea15dc3e260bd1","datavalue":{"value":{"entity-type":"item","numeric-id":2844694,"id":"Q2844694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$DCDC1E85-2DF7-4B4F-938D-053E74695954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec5f6ae4d47ba26536393eb0a29fefc3dc4f6bd","datavalue":{"value":{"entity-type":"item","numeric-id":2819686,"id":"Q2819686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$9835ECCA-FB70-4960-B55E-EFC02A03D5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1324b84c969fe5e78fbfaafd7b1030010516df","datavalue":{"value":{"entity-type":"item","numeric-id":2985776,"id":"Q2985776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$E5BFA35A-15E0-4A1E-AFFD-DBB3215DD5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$569D5265-9910-4142-ACE2-5B04E62D4277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bcd4ae2579c74a21d7451a3e9068802bcce70c","datavalue":{"value":{"entity-type":"item","numeric-id":4286531,"id":"Q4286531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$14FEE22C-0452-48F4-8D06-84E19FAD07B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0734eca8b44b27cc39aa495faea7cd858d51f4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$D461A7E4-488B-4B2E-85A9-FE2EE14525B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$E5C3C003-1231-4A74-A82C-9058A95CDAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$6E005377-053F-4329-8359-425116EDE0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d684058f89a07ea799f6cc42f304669df6352c26","datavalue":{"value":{"entity-type":"item","numeric-id":879366,"id":"Q879366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5120232$B574FCEC-A7D5-47E0-B456-C6BF5483250A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b280f3a19099dde0810c2159c67dcf5dfed45ab9","datavalue":{"value":"https://doi.org/10.1017/s0956796820000155","type":"string"},"datatype":"url"},"type":"statement","id":"Q5120232$B0FE9D4D-23B4-4C4C-AE25-AC4030583522","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"811f4c252491e8f5a849b398f03415e528228fca","datavalue":{"value":"W3036161949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5120232$03C9E4C2-7447-49E2-824A-45C12ABF3346","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c41dc7be02d86f7446c3b051219b56c92c6dbce","datavalue":{"value":{"entity-type":"item","numeric-id":5248986,"id":"Q5248986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9748c4922b4b6848dc1165d92d7fdd42fb774ad7","datavalue":{"value":{"amount":"+0.7364906072616577","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":"Q5120232$C044DEEF-5EA8-46F5-8EC4-A927224708F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4bd9a0c850565dcd191b5fde29ca04d6cc66e93","datavalue":{"value":{"entity-type":"item","numeric-id":5056401,"id":"Q5056401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a6624f3deffd68aefb7a77dd039fe762a1b17bd","datavalue":{"value":{"amount":"+0.735069990158081","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":"Q5120232$7CB13161-ADB4-4E0B-904D-2CFDE0824128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd599325f5a71199472ec813ade59ada70a51273","datavalue":{"value":{"entity-type":"item","numeric-id":1349670,"id":"Q1349670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50a2ca12f1c75f41bf123af5eb9278b92890baf5","datavalue":{"value":{"amount":"+0.7251498103141785","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":"Q5120232$D83D4AD5-A775-4C6F-9830-D8B1647DA400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01626b106d59b5cbcb33fdd24721802e88287238","datavalue":{"value":{"entity-type":"item","numeric-id":3564921,"id":"Q3564921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f94608798a9c59c798bec0e71bc4e87f6d2a31a5","datavalue":{"value":{"amount":"+0.7154814600944519","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":"Q5120232$4C585A6F-5992-4486-BCEB-4EF34B7911AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"071577697c11a2c9b8cea4d5bf370cc8ab8c50a2","datavalue":{"value":{"entity-type":"item","numeric-id":4236885,"id":"Q4236885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8075640751387c15884ef90a9454ceffa9ec2b89","datavalue":{"value":{"amount":"+0.710867702960968","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":"Q5120232$EEE8FB3A-EF8B-4290-907E-8CDB955B586D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5120232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5120232"}}}}}