{"entities":{"Q2399357":{"pageid":2410100,"ns":120,"title":"Item:Q2399357","lastrevid":74002728,"modified":"2026-04-14T18:01:04Z","type":"item","id":"Q2399357","labels":{"en":{"language":"en","value":"Type theory and formalisation of mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6763489"}},"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":"Q2399357$CA7CC985-1B83-42B8-B64D-7DFA4A0978AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffc70c0d33879e97d3c546a09a7904a9559d0d58","datavalue":{"value":{"text":"Type theory and formalisation of mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2399357$8AB4519C-83D2-466E-B796-2C067DF6CCB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60a1442c82895a3d5f83442aecddcc3f25214371","datavalue":{"value":"1489.68395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399357$46365ECE-A95C-4372-A6F2-64056BBE2688","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f37e84629b1d0fc8df9c0ea7bf77ecf0def5e6d2","datavalue":{"value":"10.1007/978-3-319-58747-9_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399357$A31C96AA-418A-43F6-9E29-11D66AB8D4EB","rank":"normal"}],"P16":[{"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":"Q2399357$8DD22126-993E-4BFA-AB08-123ADB343EED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d34360bb2e2a7c56f3d29a339c5dadd0eaaadf19","datavalue":{"value":{"time":"+2017-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2399357$F3AABDEE-3BE5-4DF7-ADDB-24571060C25C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399357$8C2F96BE-2BF4-4E29-82AC-C5BB5C9E964F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399357$B126EBDC-2E7F-42F5-A965-A054F024E62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399357$C0BB49BC-47FB-49C6-B9CB-16AD3B945BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399357$DB4D5369-54D1-4919-B3F7-62D947DD163B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77562ba9c8147eed2dad7b5b1dba9a8997fd3bd9","datavalue":{"value":"6763489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399357$170BDEF9-B543-4DDE-818B-32A6C4F84828","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b69ae52d53a05f3f4bf4d99cc0f83e03b73ae561","datavalue":{"value":{"entity-type":"item","numeric-id":27033,"id":"Q27033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399357$BC92C3AE-4736-4723-9815-80A3A92CF352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399357$3B7AE66F-F681-41AC-804F-A7A9A2E2C9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399357$0F25F5FF-4DFE-4138-BE7F-66B40BBBACC5","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":"Q2399357$9B5A17B4-798A-4B24-914D-79CA8CD7930D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19e37e617617d26f836f5765910fcb8ac689a959","datavalue":{"value":"https://doi.org/10.1007/978-3-319-58747-9_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2399357$02492900-524C-48F8-AAC8-6EE60D938FDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8441487ee82cc7a20d14a79e65be33228ab0bc3","datavalue":{"value":"W2611513503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399357$E73B91D9-242B-46B9-A43A-1E5DA9A1CBDB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ee1071310872ce51f69ac724d1b1cff46fae5","datavalue":{"value":{"entity-type":"item","numeric-id":5610115,"id":"Q5610115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399357$6A334A03-693B-4C08-B1DC-9F6045ABD07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399357$9F94F08C-3F52-4A7C-9132-D672FF7C778A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399357$B5597A25-7959-46B4-B11B-32B76F44CB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9483d0139d2bb4d0d243ab47c468e3ad05746c57","datavalue":{"value":{"entity-type":"item","numeric-id":5740657,"id":"Q5740657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399357$52246709-902E-4065-9B0E-80CE166F1D40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26a27a8bfe25512aa29a38b683bbd0df010aafa","datavalue":{"value":{"entity-type":"item","numeric-id":2988057,"id":"Q2988057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f0fb2301bef5cdd7d92d1a6abf592d2e3a90150","datavalue":{"value":{"amount":"+0.8029091954231262","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":"Q2399357$F02A5089-1C9B-4A52-BF93-BBCD1A4BA289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a9ecafa517a489f6c9b034480cb6a1eb4ba61b","datavalue":{"value":{"entity-type":"item","numeric-id":2937385,"id":"Q2937385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d11705ce1b25a7474feb0ee525f6752ff114552c","datavalue":{"value":{"amount":"+0.7770645022392273","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":"Q2399357$7A539601-0B51-4B65-A9D6-29ECF58EFDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f3586461a8b1d69e0d9362b0d00a699e59c675","datavalue":{"value":{"entity-type":"item","numeric-id":2969774,"id":"Q2969774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef8c21758b8489aee19c1b1eb3dc13286ede2bf","datavalue":{"value":{"amount":"+0.7615669965744019","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":"Q2399357$BA675147-2E25-4A08-AF0E-F8A25B378D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61bad704fdd52d282c2b34b4abc0580f4c544577","datavalue":{"value":{"entity-type":"item","numeric-id":2967790,"id":"Q2967790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45655558cf49d16682e8086a440d5b69e9297440","datavalue":{"value":{"amount":"+0.7578303217887878","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":"Q2399357$69DFEF6E-AC99-4C81-9B0A-9766B453F279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb753571a03e58105eac0ff15b22f4c3ffc2bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5245979,"id":"Q5245979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16917e64ff43643583035db9fa1a9b29c403c362","datavalue":{"value":{"amount":"+0.7561758160591125","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":"Q2399357$38CACB83-8EAF-4984-B826-A49103F7B33A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type theory and formalisation of mathematics","badges":[]}}}}}