{"entities":{"Q6139425":{"pageid":13273732,"ns":120,"title":"Item:Q6139425","lastrevid":58708323,"modified":"2026-04-06T10:15:13Z","type":"item","id":"Q6139425","labels":{"en":{"language":"en","value":"Martin-L\u00f6f identity types in C-systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7780365"}},"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":"Q6139425$58EA28A7-5AA4-40D1-B40C-CCAEDEE0D9EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f55c1a0d0d9d33312ac554afc3d274bf4ca482af","datavalue":{"value":{"text":"Martin-L\u00f6f identity types in C-systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6139425$0080B333-C6AE-48AA-9772-E507223590D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c8bbac3c2d1ca09e76202553b05458d0e708962","datavalue":{"value":{"entity-type":"item","numeric-id":177922,"id":"Q177922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$80C5A041-6565-4E30-BF08-8264F7DAD4C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"06415651f00c17383800a8a7106353a44f612a24","datavalue":{"value":{"entity-type":"item","numeric-id":177919,"id":"Q177919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$8AFD52A6-1EE8-412F-9F59-5EF05A74FA2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"21188499e193428613890fbab1f9a764083c543f","datavalue":{"value":{"time":"+2023-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6139425$21ACA621-1869-435C-BD61-936D9F1DBA5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdb48f2d1334a1ed0f1d47e89c0dc63611c44001","datavalue":{"value":"https://arxiv.org/abs/1505.06446","type":"string"},"datatype":"url"},"type":"statement","id":"Q6139425$2D6B9564-404C-4722-BB30-C7D5B7A3C209","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139425$7432E16A-0699-46AE-9190-6931EB96CB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139425$56E01B41-F83F-41B6-9C7D-10811CEC732B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1beff6df43d002c060ee5c11427940bc71c4816c","datavalue":{"value":"03Gxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139425$C5AE8546-DB9B-443F-92C8-861430BB6AA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42ac74d35f387b351553968d15d1711c428bc5c0","datavalue":{"value":"7780365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139425$5BC99F2F-699D-418B-B9A9-A63FF3D3D36E","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":"Q6139425$11CB993E-4B0A-43A7-A11C-28808B8DA0AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4297896a1264eca1c0584d77b9bdc65edbdf2d8","datavalue":{"value":"W4385418011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139425$BCD5FA2C-8591-4E81-9E0D-4FB0AECDDB5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ecdac14a6d1f0425c3e321b73a201f6c904fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$EF848E31-9489-48C7-B832-F84524154E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$AC90897A-84EA-4E91-8C4A-ED56D794AB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$94E6045A-F2B4-4799-B464-80BC3DDB6A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$2C22D8CB-0842-4369-A1B2-15F7A6F9EBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82b1878adb750555f15a80d08f147c60e0fbb1d","datavalue":{"value":{"entity-type":"item","numeric-id":959823,"id":"Q959823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$238FA3FE-900B-4C01-A8A7-8E801C3A9129","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":"Q6139425$5ED0FDCC-7A06-4859-BC50-801F4615D3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$94C7B543-B60D-42EE-8EDC-0A9A0BD6342D","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":"Q6139425$5DD9683C-04CA-4037-B1B9-7BE17923606F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$B9EB2C2F-D1D4-49C0-A31B-3016BC9F1D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$5B624D4C-0032-49D9-85D9-0A5ED636D2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e334f51175391aa489ad19ee69f9b684c7888f","datavalue":{"value":{"entity-type":"item","numeric-id":3079518,"id":"Q3079518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$5764CA21-16BC-49D9-A068-B48DEA1056D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab5253ac879eac01b75fc4c22a1a366d2585e79","datavalue":{"value":{"entity-type":"item","numeric-id":2946651,"id":"Q2946651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$647004A1-AF7F-40AF-97FE-054D8A7A4C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e06d7ec9dceea3c405ed41e3995904ab22ea48","datavalue":{"value":{"entity-type":"item","numeric-id":3568339,"id":"Q3568339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$B31DD468-95EB-499C-AC91-E2F8CCDF27BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca2cb867ab1553a559727464dc524aa0afdec68","datavalue":{"value":{"entity-type":"item","numeric-id":3456330,"id":"Q3456330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$BD48157E-7B22-4A19-A9DD-ABAFDCC3564B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4b32a8b22bb480ad3bef45e56300bbe474a11b","datavalue":{"value":{"entity-type":"item","numeric-id":2953831,"id":"Q2953831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$DA382EB1-9E66-43E1-89B5-C37DD8DE8118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17cc1c219f5741890f6446d2fb52d021dd4b4a8f","datavalue":{"value":{"entity-type":"item","numeric-id":2990151,"id":"Q2990151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$399E8093-0E5D-475E-BBDD-7E260F21D22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d796e79a2b7a36b18df7c7ac75d995c9609f65","datavalue":{"value":{"entity-type":"item","numeric-id":2963470,"id":"Q2963470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$0AD48091-AB98-491C-B00A-2C3F4CA1332D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d20f29d0b143bba56fe3edc44e52b85f42068da6","datavalue":{"value":{"entity-type":"item","numeric-id":2963471,"id":"Q2963471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$B1CF9743-6420-448D-8D82-629AE1EB622D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c97a386ef52a55491eea07543d3910b0cc2071f","datavalue":{"value":{"entity-type":"item","numeric-id":3093873,"id":"Q3093873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$0FD2FA47-6652-495D-8931-EAF1263C97DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e98cf0d9deb67e3d51fccab0ef9e2ea217bf9ecc","datavalue":{"value":"10.1007/S10240-023-00138-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139425$364B7356-88F3-45B0-9195-B4AD86B5202B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a77f9f9024d5d3b5dd6b4b5a6d5c6e84715ba5b0","datavalue":{"value":{"amount":"+0.8826859","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":"Q6139425$2A4B1C89-BA8A-4F80-A9F2-910D8EE1947C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5d922db37ef1718202e561077e8c4a52fe341f","datavalue":{"value":{"entity-type":"item","numeric-id":5492817,"id":"Q5492817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b31108d59693e140ff9b49a61668f5b4bc13bb99","datavalue":{"value":{"amount":"+0.8748851","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":"Q6139425$23C6223B-5551-4818-B8FA-316060BF475B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39027ed63c2a2a68a2e6225028f9c1d4f4901f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1099173,"id":"Q1099173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c96533b57e473f656590a1f7fc36e694b25dfe","datavalue":{"value":{"amount":"+0.8747374","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":"Q6139425$C633692A-FE98-43A6-BBB2-7C2FA4695D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1023319a3c923778a20db752caf09082c25636df","datavalue":{"value":{"entity-type":"item","numeric-id":688850,"id":"Q688850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49fc26a10fc1315eb4c5c3cec19a0c258b0a29f9","datavalue":{"value":{"amount":"+0.86991066","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":"Q6139425$FC6C1DBE-7D4B-49AC-8119-CFD97297F534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d2f4f8ed59ed8ce19ca2c0751b297c1d3a05b2","datavalue":{"value":{"entity-type":"item","numeric-id":5939957,"id":"Q5939957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37796eb0576b72c10f5cde5c32323ee8679794e4","datavalue":{"value":{"amount":"+0.8683918","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":"Q6139425$A09252F6-9E74-4C69-8044-8B273C0AAEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bed86a80d1e979433e1144e371142e6575688ab","datavalue":{"value":{"entity-type":"item","numeric-id":2288279,"id":"Q2288279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4654c8509b94a31b2f69744efaac3ea74aa01c35","datavalue":{"value":{"amount":"+0.86706436","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":"Q6139425$F7DDE1B4-B9E4-4F5E-B4D4-E652DEAD607A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983e8f9ece19e86d7ea0ffd24a6d7ce7cfb8a5f1","datavalue":{"value":{"entity-type":"item","numeric-id":750438,"id":"Q750438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abe30f0e60cb008a4f8c74e0fe656106831a44c","datavalue":{"value":{"amount":"+0.8651068","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":"Q6139425$ACFFC1A5-FB70-47F8-808B-0ED778667D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e42de5a5637d1d52883446f1eef5eda3bdd0b0","datavalue":{"value":{"entity-type":"item","numeric-id":280835,"id":"Q280835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ad978dfb5ddf5032cf51d868fc68925da6b440","datavalue":{"value":{"amount":"+0.8635075","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":"Q6139425$57C8F07E-D213-4E98-AE99-75B7F2495157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683c504ed0f54696319c3c2757e80c1a4f9b2a8b","datavalue":{"value":{"entity-type":"item","numeric-id":5879185,"id":"Q5879185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cbb1cfd91d9df9ccbe604f0655bf11b53beda50","datavalue":{"value":{"amount":"+0.86216843","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":"Q6139425$0F54B4AE-8588-4029-A0E1-79E478D3AB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dafebfd5e58bb74a87b62c1042cc11c64f5d7479","datavalue":{"value":{"entity-type":"item","numeric-id":5096234,"id":"Q5096234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61c8550703985f98347f0e60c48f792729584034","datavalue":{"value":{"amount":"+0.86177886","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":"Q6139425$A1A56F47-FE87-4ACD-98E1-A1C406BBB4D8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139425$8D13CA9A-2E61-40C7-9377-AAF0DB53B933","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6139425","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6139425"}}}}}