{"entities":{"Q6159937":{"pageid":13294798,"ns":120,"title":"Item:Q6159937","lastrevid":41806080,"modified":"2025-05-08T13:58:33Z","type":"item","id":"Q6159937","labels":{"en":{"language":"en","value":"Some Axioms for Mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7700625"}},"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":"Q6159937$BFB89955-E155-4B39-8D79-58286A57F7DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8807e9b5ca6f3e9539fb2629b3f3fe474d0fb0ea","datavalue":{"value":{"entity-type":"item","numeric-id":235598,"id":"Q235598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159937$F181C6D6-FBCB-4821-98AF-95C90F6FD102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159937$75342D65-2564-4DFF-B1C7-D78843B58545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3364d1c9c353445df9057065134b2a312139c27","datavalue":{"value":{"entity-type":"item","numeric-id":5091139,"id":"Q5091139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159937$D67328D2-C9E0-4319-BED1-F6736CD7F27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d34428308fd6254ab8736bbf94531ec1ea42d88","datavalue":{"value":{"entity-type":"item","numeric-id":5883736,"id":"Q5883736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159937$03393DEC-385C-4092-B1C2-017184B9F52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f875fe6d1f3e0f24fd9296a597dced9516ede29d","datavalue":{"value":{"entity-type":"item","numeric-id":5883737,"id":"Q5883737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159937$C038199A-3273-4DE8-8355-51654C139BB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3088b6e1c2b1fc23f329cc708e78f720e11947f4","datavalue":{"value":{"time":"+2023-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159937$FE577705-29EA-4FA8-801C-6BA54441354B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159937$A3AD0F01-15C6-4432-ACDC-F617826B501D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159937$16C1FFAD-4CD1-4562-8A6B-94C53EF1F9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159937$BC705667-846B-4ECF-BE4A-5D0DE225CBCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f765815115cba8038799020ed747969b95ca9d3","datavalue":{"value":"7700625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159937$E15BC4B4-0F37-4334-A184-56EE9F83D37C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159937$BEEC14AE-0916-49B0-AC63-6678C0EEF4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2cf531807d1424e6515228822fe70f93a61e21d","datavalue":{"value":"axiomatic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159937$80304501-023B-40B4-ADED-214B0C8D077F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159937$DD0652CE-A51E-4C76-8B43-93A074C8ADD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159937$83B39B82-9D65-441B-8AE1-B13A284E342A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a21e1363cc010b40ce919e3a7bca061a7fa39e8c","datavalue":{"value":"interoperabilty","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159937$5FF55054-9107-4D94-9CE9-446960BCC63E","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":"Q6159937$9E3D7E0A-16CC-4CFE-A372-B59F900144E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e58a98eb9a6d75a3d06f1d73fc9d84a3944ef43","datavalue":{"value":"https://hal.inria.fr/hal-03279749","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159937$CD83F8D4-CF45-4BA1-B926-6928A115A4A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5f06e3377c04669df868ed275aebc700d7ebd6f","datavalue":{"value":"W3184538962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159937$891D9673-9516-4C15-985C-18396F9FBDBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd1a9d28e71300ae6409eab015e6a9f2c7efc521","datavalue":{"value":{"text":"Some Axioms for Mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6159937$0C5C8EC8-F5F8-471A-9362-BEFEC576EF50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ded4332592f247c855880437fb653cc3f923ed6","datavalue":{"value":"10.4230/LIPICS.FSCD.2021.20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159937$B9E70D69-FAD4-4801-A87B-FF55DD454A14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3cfb1bf1ee4bfd9e2fd7672f3bf2edd2a6a95f7","datavalue":{"value":{"entity-type":"item","numeric-id":4980009,"id":"Q4980009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b2b504ec4bc6df027f8727648171c3e5cfa6ef","datavalue":{"value":{"amount":"+0.9039749","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":"Q6159937$50D19C74-69ED-4249-A5A0-B03996BD7894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b8393b9d27cfb8a86bfcbec08ec3864530702a2","datavalue":{"value":{"entity-type":"item","numeric-id":2080664,"id":"Q2080664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac226456f6ce00a7364473209555303aad20e252","datavalue":{"value":{"amount":"+0.896273","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":"Q6159937$0F1B2C32-B763-499D-8E5D-F56E3843FD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"039ff7ee6ae13f49f588d4dd573babe4dd8319c1","datavalue":{"value":{"entity-type":"item","numeric-id":3067402,"id":"Q3067402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d88837d1948a7d71f50e61c2363756633e70025","datavalue":{"value":{"amount":"+0.8903185","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":"Q6159937$342E8753-D9E8-4C86-9668-6DD6DA40EDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1b406bcad4513746bf25195d7ff8cec918081d8","datavalue":{"value":{"entity-type":"item","numeric-id":948978,"id":"Q948978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9879afbc8c229610f68f06ba70dfa74fc2f347dc","datavalue":{"value":{"amount":"+0.87603134","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":"Q6159937$8B0D548D-B5EA-4BAB-9C3A-BAD5BAA40F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f813b865fbf82458b3e0a793708aa9f06adfab54","datavalue":{"value":{"entity-type":"item","numeric-id":2120967,"id":"Q2120967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aeb617990f8e24dde16bde2014cbc13c7ba38d3","datavalue":{"value":{"amount":"+0.86846954","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":"Q6159937$4D120520-4417-4297-9381-1D74EA6E1961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9cbed57b5549ce2dd09221583f71e8b3a71706","datavalue":{"value":{"entity-type":"item","numeric-id":2998170,"id":"Q2998170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc4e31b658772bae423544fafa949cafe526ab41","datavalue":{"value":{"amount":"+0.8582385","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":"Q6159937$2B2BDD71-7FBE-48F5-8E10-6B0DA84E036F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159937","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159937"}}}}}