{"entities":{"Q3521979":{"pageid":5551883,"ns":120,"title":"Item:Q3521979","lastrevid":50438651,"modified":"2026-01-14T01:36:03Z","type":"item","id":"Q3521979","labels":{"en":{"language":"en","value":"Verifying a Semantic \u03b2\u03b7-Conversion Test for Martin-L\u00f6f Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317295"}},"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":"Q3521979$D3F687E5-51F3-4815-90ED-96F08E3B982B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa7eead5cd7c03afaafde6bac1d2f798784f72db","datavalue":{"value":{"text":"Verifying a Semantic \u03b2\u03b7-Conversion Test for Martin-L\u00f6f Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3521979$4AE7A75F-ECB3-4D81-8E0C-385DD39B9BC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d7b7efbf3eb28f5086d7e6e5280ae952e120fc8","datavalue":{"value":"1157.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521979$992D7FB9-E5C9-47A4-B211-475C228D1321","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a468592bd39e040d99bb65a5f087fab4b23d948a","datavalue":{"value":"10.1007/978-3-540-70594-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521979$AE9B4E8B-2E52-469D-B9A4-4F4E59E7B092","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":"Q3521979$CB85C5C2-F366-468D-ADCC-2400F27B934E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521979$2067C29C-6706-4A16-BF3A-5ADB27F9373F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d75275853fb84ac426baf809ec86decf612055f","datavalue":{"value":{"entity-type":"item","numeric-id":651314,"id":"Q651314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521979$97422391-6D8D-483B-91CE-A263FC6D9AE4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521979$7C3E13EA-376F-4411-8648-E16ED477C4DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3521979$FB13215A-D244-4F53-A23B-B655DA531816","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521979$21515931-DB6E-4AF1-B5D0-934BD80AA7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521979$D56FCDFC-64D1-49C6-8334-4EDE6A95C19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521979$0513BDF0-FA45-4302-BD3E-1DE6EEC45C09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77aec99615bab285c2a58a078d3bb7f56234a03d","datavalue":{"value":"5317295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521979$24E7439F-ACBD-4BCA-B686-248A1EAF1011","rank":"normal"}],"P1463":[{"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":"Q3521979$865E6FE1-2497-4141-9E05-E8EB6F213F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e74e65aea50b572ed5cc320d9d0d7a2d70ec494a","datavalue":{"value":{"entity-type":"item","numeric-id":21666,"id":"Q21666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521979$B643B337-1150-4923-8708-06892BB7ADAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521979$95ECBC86-BDCD-4D1D-A360-EA8B621F4668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521979$495742FC-D75F-4232-B60E-C17B1655FE1C","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":"Q3521979$ADE3BE02-BF4E-4591-8522-6F282E0A47DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e43a5ddf76291ae963b7b1077767341378ca5705","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70594-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3521979$41D6608C-782E-4521-9E8B-CA1859D28A79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f0525cd0c6d39e0b36b3459dc132378d6db1e67","datavalue":{"value":"W18232636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521979$C3678071-2713-41F0-824B-62BEEBB1DC9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"270de6527ae96c33d421a94a582ab741c9b0b3f7","datavalue":{"value":{"entity-type":"item","numeric-id":5705901,"id":"Q5705901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42603a69e741b678671b793192e6a49a4ff92295","datavalue":{"value":{"amount":"+0.7888830900192261","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":"Q3521979$97FFA77C-9AD8-4D71-A4A1-4DA66D581DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b180fd7c37aca86db24433ac508ad2c0acfe7e62","datavalue":{"value":{"entity-type":"item","numeric-id":4012882,"id":"Q4012882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8095917a2856a06f7715c4e2d9c1114e4b775dda","datavalue":{"value":{"amount":"+0.759981095790863","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":"Q3521979$AB83177A-CD6D-4C76-9498-2C8226C332E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829b4d858b16a99fc7afebff6d82149e39b63c73","datavalue":{"value":{"entity-type":"item","numeric-id":5300899,"id":"Q5300899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8095917a2856a06f7715c4e2d9c1114e4b775dda","datavalue":{"value":{"amount":"+0.759981095790863","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":"Q3521979$1098AB2C-46F5-419D-AC83-BD9528A027ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953159312b7424abe16acfaed309cd34802f4340","datavalue":{"value":{"entity-type":"item","numeric-id":5262927,"id":"Q5262927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7431e36c996c81e054435ba6891bfc30171de26a","datavalue":{"value":{"amount":"+0.7568197250366211","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":"Q3521979$D2CB9427-11E6-463A-A055-C05E8BF546C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6171f0b09d240cdab1c5988ac08fee2e637217","datavalue":{"value":{"entity-type":"item","numeric-id":3637183,"id":"Q3637183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c820da4529801a7a9300194e6d717ee75182ddff","datavalue":{"value":{"amount":"+0.7538395524024963","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":"Q3521979$96A775CE-B734-402E-A01F-D0C7DDDB9F54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3521979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3521979"}}}}}