{"entities":{"Q4354787":{"pageid":6384386,"ns":120,"title":"Item:Q4354787","lastrevid":41817131,"modified":"2025-05-08T16:50:08Z","type":"item","id":"Q4354787","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1062114"}},"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":"Q4354787$42EE8C0C-7C50-4052-86A8-6B73C9E5987F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1e8fd5ee9cd1bb017422dac9273bd626245594f","datavalue":{"value":"0876.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4354787$D06B98F1-29BA-435D-929B-C97A41843D5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d3ff5c2ca964b49f0a50cf3f915d6dc0f369df0","datavalue":{"value":{"entity-type":"item","numeric-id":4354786,"id":"Q4354786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4354787$6D606281-B9D1-406E-98B6-2E8676EBB9D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e11d1837707d60adc8ea793d07b0b6f8a320eec","datavalue":{"value":{"time":"+1997-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4354787$1565F1BB-F777-4674-A473-5CB4495A48CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4354787$7F82DF01-3CBE-452A-BF66-C1FD9BC35372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4354787$547E4D26-2C3C-4E5B-BFD5-E3D1308521E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4354787$F0099A80-396B-4711-9C21-16C41610E315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4354787$3551AC3D-2FFE-4E46-AEC8-F3CC97B888A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4354787$FEC2033A-2E3B-4108-9D38-7F8840A91431","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7606eb924854a98b77e1bd02c474d9688d3813d","datavalue":{"value":"1062114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4354787$672C79A4-02B6-4298-8652-1542FB7AE517","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38b6c194ff137e2a63dbdd28db9419081aae531","datavalue":{"value":"formal framework for type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4354787$4BAF02B9-1481-42C0-BD69-87190C3E1CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79e10659ec0ab4c1636b61cba98e7ea0e00939e8","datavalue":{"value":"Automath","type":"string"},"datatype":"string"},"type":"statement","id":"Q4354787$63ABDB7F-42BF-4D8D-9C45-C6866093C89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bba78c5e36eeb2b4b90c0f699306f74b302d3055","datavalue":{"value":"evolution of type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4354787$F0EA5E4A-6089-4EED-B7A6-C925FD8CD5D3","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":"Q4354787$BBB4BE09-6CEB-4811-947F-7C0C3F12E681","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ef295a54a042b2b6782a44ce063e92a01cd594","datavalue":{"value":{"entity-type":"item","numeric-id":1396584,"id":"Q1396584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50fda48fd44a6ae4d488a5c8a13461adef45f665","datavalue":{"value":{"amount":"+0.902947","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":"Q4354787$EA5992A5-1235-4FDB-A5A6-2A9ED88E0975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b91750fdfefe485a95ba9cf3541d5b694251b9","datavalue":{"value":{"entity-type":"item","numeric-id":2399357,"id":"Q2399357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2a0976c87ef72c95a6f85040d088f8b3de422d","datavalue":{"value":{"amount":"+0.9027578","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":"Q4354787$12FC15FA-6A3E-4C7F-981D-60B0534FB6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ee6f886ef0705827062d0a4c87d655476ba33e","datavalue":{"value":{"entity-type":"item","numeric-id":4204148,"id":"Q4204148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fdb899561fc87047a3abcfb58a7145bc6784c66","datavalue":{"value":{"amount":"+0.888984","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":"Q4354787$339578AE-60E0-4168-9BA2-746E7541C9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c53ad7361b49f4692a62a1eaa690d5ebe67adc","datavalue":{"value":{"entity-type":"item","numeric-id":1887432,"id":"Q1887432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5032ead5eea692a8acc64eefbdd3e30538921b33","datavalue":{"value":{"amount":"+0.8881057","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":"Q4354787$BC9AFA78-4C1A-4FF7-B9AE-29D957F78F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b11d53923f41ad4d66d56a55797c372e2f9287","datavalue":{"value":{"entity-type":"item","numeric-id":5401630,"id":"Q5401630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a03abc923c4e8c2c2595b5a2729d9dae9dd80a","datavalue":{"value":{"amount":"+0.88782054","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":"Q4354787$826556DE-BDF9-4B11-86CF-34CD53AE7D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776a7f81bcf627160ac001fd4998e9de8ac0400e","datavalue":{"value":{"entity-type":"item","numeric-id":4215639,"id":"Q4215639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd74af2840232d59ed59a179a606fccdc249c526","datavalue":{"value":{"amount":"+0.88778186","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":"Q4354787$4FFBD708-CA7E-4793-89E4-2BDF9B57D4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e79a2c12bbdc05f4aa72ec108bb5b2534bf0c66","datavalue":{"value":{"entity-type":"item","numeric-id":2487181,"id":"Q2487181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"441208c434c47b694ee96ebea680426c305e17fe","datavalue":{"value":{"amount":"+0.8819181","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":"Q4354787$B8743F84-0436-4E0D-989A-9C3B6AA2F8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6009f229da9cc183ad7bbbc5dd4ed923406f6b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5862337,"id":"Q5862337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c21eae2311f502a0531011a5be0b26699b6bf7","datavalue":{"value":{"amount":"+0.88052225","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":"Q4354787$C3BCE510-A041-41C6-97C7-510EA733F35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5a1f1a77bc338234a2c9cc6945d17718e239bdd","datavalue":{"value":{"entity-type":"item","numeric-id":3149961,"id":"Q3149961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d1f28f45acd2c92b952e7dfafcc9d79bcb08f7e","datavalue":{"value":{"amount":"+0.8800439","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":"Q4354787$D0AC01F5-BCA7-4B16-AB52-7C4449087139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696d83aaec159cdf8ddedd031545e8cc3910de03","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f5b71d2ab97ee1f0942d1407700d01c90362f37","datavalue":{"value":{"amount":"+0.8796237","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":"Q4354787$A40883D8-E536-45E7-99F9-18851F2153FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4354787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4354787"}}}}}