{"entities":{"Q1816920":{"pageid":1827662,"ns":120,"title":"Item:Q1816920","lastrevid":46463007,"modified":"2025-12-24T20:20:24Z","type":"item","id":"Q1816920","labels":{"en":{"language":"en","value":"Richer types for \\(Z\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 951638"}},"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":"Q1816920$AAC20069-B911-4CC1-BF62-3DE981DDFC30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cf53a28090994bb2dce9f0f58eb47c3b3bba9ec","datavalue":{"value":{"text":"Richer types for \\(Z\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1816920$B16A2C3F-EC95-4CCA-A2B0-001628356739","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9deadf22e6e29ab8b65e2f09da4c79ece287b8ab","datavalue":{"value":"0860.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816920$67F31F28-336B-46F3-9E1D-E7D71ED339C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e219bc247956f666439231151665ab95a2d384e7","datavalue":{"value":"10.1007/BF01211909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816920$8CE74568-98D9-49D8-BAA9-354FE5216CEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef33160335ba19f72216cd4125446f3f5ee7284","datavalue":{"value":{"entity-type":"item","numeric-id":1816919,"id":"Q1816919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816920$0C74007B-0FFF-43E6-A0F2-60B607F95159","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816920$FFD773F8-0351-4D3C-8404-F45CAE30CBEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8f57c2707c7d53eacf4022f5ee5ca93983fdb18","datavalue":{"value":{"time":"+1996-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1816920$C60FF1A4-639C-4A35-A9DB-EBA218CCB09D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816920$40FB05E7-493D-4B78-A8A2-C52429DDA070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816920$24EBA65C-61DD-4C3C-92C2-EC283F84A06E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dd6cc4e8a7fd73d48fa965d4568c2c45057721e","datavalue":{"value":"951638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816920$069EC692-2093-487B-8DDE-E30AE4247BAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f7c1436e82287d691446b205b1d14bf1e05cf54","datavalue":{"value":"formal specification language \\(Z\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1816920$BAE50710-19DC-4AF9-81D3-63636BDB7E3A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816920$BB5CAE99-2538-4B97-A5A0-2F2479CACC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816920$670B6515-5375-4366-AE80-1C7E5782546E","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":"Q1816920$5A9B6911-F3ED-44A8-B21E-0575950F6909","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816920$33000327-358D-44C6-8073-9C38FC4928C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816920$07C16303-2520-49FB-9571-76B652B13076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816920$E6756D4B-90C6-41B5-B795-1EA1B487B4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816920$ED2C6771-1634-4544-A93A-C6A2736C5242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e83aab7d5d6eb2bec6601ce6de32b8a897892df8","datavalue":{"value":{"entity-type":"item","numeric-id":4039769,"id":"Q4039769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816920$D53AEEEE-184D-404F-A24E-8A1B3FFBCB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816920$35C98D1D-B04A-445A-A1F7-5AF7234C70C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4eaaeecbce241b534d7c62d5622df466c33c9f83","datavalue":{"value":"https://doi.org/10.1007/bf01211909","type":"string"},"datatype":"url"},"type":"statement","id":"Q1816920$086521E2-3576-422D-95FC-0B83A7F4B368","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b24f6a2c7d055bd882445db9d390d021bc653562","datavalue":{"value":"W2090792650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816920$5CDCCB6E-DC5F-4478-AD61-2FAA914614CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542fb59625f20e688f2cb943bbe285e078d67149","datavalue":{"value":{"entity-type":"item","numeric-id":4943506,"id":"Q4943506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e20f186825142069d133edf616c33cde3a3d088d","datavalue":{"value":{"amount":"+0.7917957305908203","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":"Q1816920$4E5AC102-3304-426D-8672-FA8B3CE8CAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8249330a13ae101895ef367eaa1d9987501e8733","datavalue":{"value":{"entity-type":"item","numeric-id":4321773,"id":"Q4321773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f055ad0d1d9262b96c820cc330eaa285fda0ada","datavalue":{"value":{"amount":"+0.7361657023429871","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":"Q1816920$8A0225D3-EB09-41E0-B9C6-D139C06FD887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa5fc9ae7c3385b007e01a98e44ebd6206621dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4472185,"id":"Q4472185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cadb68791c2a794345503b56f17434ebe8fa118","datavalue":{"value":{"amount":"+0.7303582429885864","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":"Q1816920$1BB7D4FE-61D5-4500-8B31-89F760A11A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e370eb66202d526cfc51dfb5304bcbdbe4c05ac3","datavalue":{"value":{"entity-type":"item","numeric-id":1974478,"id":"Q1974478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c829a23c926b33c61794f78a0e49ab0398d5a5a","datavalue":{"value":{"amount":"+0.7294124960899353","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":"Q1816920$D1A2BA1B-0D40-42E3-AA0D-92D4B8BA1A86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1816920","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1816920"}}}}}