{"entities":{"Q4250050":{"pageid":6279651,"ns":120,"title":"Item:Q4250050","lastrevid":39853686,"modified":"2025-01-27T18:59:26Z","type":"item","id":"Q4250050","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303441"}},"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":"Q4250050$759F91AF-A131-4074-B572-D36FF4B598E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14c9ad3b4a0d75013177a48867afeb5ad37a2f32","datavalue":{"value":"0933.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250050$AEAF3BC2-76A6-46C7-82FB-AE0C29062099","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250050$E615A23B-5213-42E8-B1D1-7197CBF19DEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"396a489414c9e9e8aedfbc8af9c03c0dcd267f27","datavalue":{"value":{"time":"+2000-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4250050$27987C31-9D9F-4BCA-BDB5-B20DD66BC492","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250050$8081C9C2-75FD-443E-9029-DC6A406F6595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250050$F2EFD5A1-9962-4AA5-956B-6303A857122C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250050$DA3647F0-AAAE-436A-B3EB-0E46BB78B481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250050$A16D4A6E-506E-489E-B88F-DE4DE6EFC825","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6c3bea3085c841f19cb7299ac8ee561d43261ae","datavalue":{"value":"1303441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250050$0528CB1C-F648-4AFD-81EA-B83235ED6934","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250050$2B45F1FE-0DC7-4498-BE41-4BB89F6C131D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b26312dc81275691723c92fede551bc79dad89a","datavalue":{"value":"interpretation of a theory in a constructive arithmetical theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250050$0DCF9377-5874-45D9-B726-824A9ABE7F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250050$FCA24216-8528-451A-8824-7214799CA5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"360dc81676930adde2e4b28931d69c9554440f44","datavalue":{"value":"Robinson's arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250050$A9C15B1B-8C11-48B9-B3D7-B7C12DF50DCC","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":"Q4250050$C56197C5-354A-42F1-986E-E67E3EBC727D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff26d453794330aab2cb8254dd7fff45ac95174","datavalue":{"value":{"entity-type":"item","numeric-id":5202653,"id":"Q5202653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d0f33915d42b9892b105826575cdffb9739f924","datavalue":{"value":{"amount":"+0.7949546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250050$AEB1C172-CFE7-4AE2-A2AA-A825B5483F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59c0f0ca0263ac52e2c3a525adc7d309cb7996d4","datavalue":{"value":{"entity-type":"item","numeric-id":3686709,"id":"Q3686709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e20fe3e238d96a7c8dcfa04711ece838e8b1911","datavalue":{"value":{"amount":"+0.79250646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250050$2F05220B-02E1-47AD-96C5-533FCC04CB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71c2a02391ee64ea8660e3fd5178ee6e3941f2e","datavalue":{"value":{"entity-type":"item","numeric-id":1203790,"id":"Q1203790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bd794217800c8aa4e280e395b201e8656b040db","datavalue":{"value":{"amount":"+0.7901622","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250050$C27090CA-6CBA-4549-889E-B678AB9D4BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4546e3b75f14ab62db58acd2bdb48227480a7a10","datavalue":{"value":{"entity-type":"item","numeric-id":3822155,"id":"Q3822155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a7bbdd7dee74cb0bf60a5253956f27445d5987","datavalue":{"value":{"amount":"+0.7853603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250050$E7D1C9A3-E12D-4058-B314-34AC4D86850B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e835cf8f8055c9f07f170d70eba8a448d71316b1","datavalue":{"value":{"entity-type":"item","numeric-id":2836179,"id":"Q2836179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ed5a2bf222ac5d59a8250ff7082b09f566d158","datavalue":{"value":{"amount":"+0.78438866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250050$5FCA2239-F510-4D49-A8DB-B56D91C7A74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e2e3d3d01d535308144338fdf338dd31042dd0","datavalue":{"value":{"entity-type":"item","numeric-id":2710607,"id":"Q2710607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe1325024649397ac9da0fc0330fd33060e3a67","datavalue":{"value":{"amount":"+0.7782019","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250050$3FB2B6E1-046F-4B47-9EE2-E59092D25378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94288260b7e707015be332d5c72dcbfc2175c3fc","datavalue":{"value":{"entity-type":"item","numeric-id":5213551,"id":"Q5213551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2647c8a0fc22905475aadd4ae3fb00abcaeff36e","datavalue":{"value":{"amount":"+0.7764973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250050$0F6BEB4C-8905-4717-BD4A-C189370A720F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1507afc774026e87094fbc6fa5d6fd6e3eeb31ca","datavalue":{"value":{"entity-type":"item","numeric-id":4243761,"id":"Q4243761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb36ee372a47b26213e3b54fe815dd38fc04943","datavalue":{"value":{"amount":"+0.77580535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250050$C177992F-6488-4500-A038-D8EBCFB1536C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a1c1028a7d20cb9ffe19c50ffa89fbcbf8f02ad","datavalue":{"value":{"entity-type":"item","numeric-id":5214783,"id":"Q5214783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36c3af67a952570da06251398b46c2dc31defe3","datavalue":{"value":{"amount":"+0.77013373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250050$9EBB618D-D8B3-4CB6-98B1-7BDCAD0DD5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f5a10a238b894f2cc5fff9fbc6dc145cee901e","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"879d014a21472ef287b173f43b71190689ebc77b","datavalue":{"value":{"amount":"+0.76952714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4250050$279B09DF-E013-4B1D-B316-FCFE3F770088","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4250050","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4250050"}}}}}