{"entities":{"Q4594256":{"pageid":6623841,"ns":120,"title":"Item:Q4594256","lastrevid":52959278,"modified":"2026-01-23T22:05:23Z","type":"item","id":"Q4594256","labels":{"en":{"language":"en","value":"Axiomatization of calculus of constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6808175"}},"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":"Q4594256$70DBC07C-7103-4023-8F29-FD7F9425270D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14a2b011a214d42ab5a65564aae7c08d978725cb","datavalue":{"value":{"text":"Axiomatization of calculus of constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4594256$E7170C6C-9DF7-4520-AB9C-1144398E73AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20431218704b3994a7b2fde229e15fd5d512f503","datavalue":{"value":"1434.03088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594256$3B94E6F0-0204-4DF7-BC06-9FA662B6B5FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efa92e80a2eabff3026e81ce7126ea4306b3160c","datavalue":{"value":{"entity-type":"item","numeric-id":309678,"id":"Q309678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594256$3FCE3556-E758-4DA9-A91E-913D4259EE4A","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":"Q4594256$9B46DE95-385D-43EF-8658-85911DD0A94F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"825b3410cb99f0539fb93adb9a664af4059fbf52","datavalue":{"value":{"time":"+2017-11-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":"Q4594256$0DABFD16-7E76-4F4B-9552-15974AE81B81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594256$EA7DA008-6067-47DD-A329-1D410DA7C2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594256$A36FD616-FC45-4FE9-A32E-B2D283961E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594256$821A55FA-3EBA-4AA2-B21F-78C2691EBBDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d42cbb3f7b341b70b17865b8f27e4c11e6337a4","datavalue":{"value":"6808175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594256$556C1EFF-E12E-4666-AE31-75D403623466","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":"Q4594256$3FB06E6D-200B-4296-B21C-852EF105F952","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54afca3fbbc79c3369fdbc317161498cd3261ea0","datavalue":{"value":"10.1007/BFB0021086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594256$5601BAF3-EBF9-4285-B99D-FBDDDBBAD5DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"553dfe55b9ee1153fd01339bbc343f9c1b6e4418","datavalue":{"value":{"entity-type":"item","numeric-id":4376334,"id":"Q4376334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22ad7b0ee46a88e82a7ce1802efb8a2344055453","datavalue":{"value":{"amount":"+0.9381423592567444","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":"Q4594256$80A891B7-EEF8-41E0-84CC-CA47FF526BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d229532ddf32a8c0ef725993d323ddf9386f50e","datavalue":{"value":{"entity-type":"item","numeric-id":1177937,"id":"Q1177937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c4f1a1a8a93c52858b6f55d7985c83ebdfdf534","datavalue":{"value":{"amount":"+0.7597963809967041","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":"Q4594256$5D1A9219-5590-4552-8BB8-A41AAC23511C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a299ada1677cb50f9badc2dfb747cce9998463ae","datavalue":{"value":{"entity-type":"item","numeric-id":3026376,"id":"Q3026376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e16061308994715df8c3e76ed601444a72845f6","datavalue":{"value":{"amount":"+0.7553997039794922","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":"Q4594256$C67F533A-6F5F-49FC-B103-51EE32CEB6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557fe52cb2d789e27e0fa76724761dbafd3d5f21","datavalue":{"value":{"entity-type":"item","numeric-id":4647584,"id":"Q4647584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f416d6e49166a803ea92aa1aeb2e3829a344df","datavalue":{"value":{"amount":"+0.7173143625259399","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":"Q4594256$23EDD348-82F6-4065-8E9C-BEED2DDB3573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04fc28ff935556a5c4174aab3a7627efd13f38b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b90a3c504e9e95d2a1745f4c52aa0d109accdd10","datavalue":{"value":{"amount":"+0.710614800453186","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":"Q4594256$A594E897-97B9-4A22-A6AB-87FF209492BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4594256","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4594256"}}}}}