{"entities":{"Q4453640":{"pageid":6483239,"ns":120,"title":"Item:Q4453640","lastrevid":48246085,"modified":"2026-01-04T02:38:30Z","type":"item","id":"Q4453640","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2051384"}},"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":"Q4453640$2418F3F8-5E1C-4490-9851-4A2004E0676A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5df9bf41f659de9b2e8cb57aca0bcbcfe5ea09a1","datavalue":{"value":"1039.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453640$5996E190-EE9B-4E9B-B950-B0C975E952F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6beb43d86d5f358e4b3c554f2d0e523cdd059c36","datavalue":{"value":{"entity-type":"item","numeric-id":1861329,"id":"Q1861329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4453640$FB0FAC46-F0C4-4E5B-AA26-08A393913D70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b6b6d4a806cd2f0a9402edc4992ca7a6f787c5c","datavalue":{"value":{"time":"+2004-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4453640$34F9F30B-AA7F-45D8-8E19-F1AACA0A0CFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453640$1C80BA6C-8F6C-41A8-8B4A-AFBEC7B0212C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453640$021C44DF-78E6-49D3-8743-CE1888D4FF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453640$70A7E890-B173-4001-ABDE-A208C1674B02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5482c106a567a7e787d8a5a62f04e155b123f72c","datavalue":{"value":"2051384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453640$E09BBE4E-7F24-4F98-B4B7-7B5CFDB7E259","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453640$F48C5B2B-9107-4F35-91DD-9A013F9A7911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f48f96289cc93497e566c3dd05980bd91acfc65","datavalue":{"value":"urelements","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453640$655CED80-76AC-49EB-8440-76F3F9A11C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453640$4F8F6407-0685-4066-AF78-7BDC8C0DCEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453640$00F17078-2EF7-42CB-B5DF-D69F1CC5EA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ef7d9e7fc9882bbae1db0036cc5d28c9b16662","datavalue":{"value":"explicit mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453640$25BDB2E1-81BA-445F-9E4F-DF24D28B7371","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":"Q4453640$B6742C01-D5CE-4685-9FA4-8767096E9B1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5723acafa0c85069ffe8601c39117e7127b005c","datavalue":{"value":{"entity-type":"item","numeric-id":3822156,"id":"Q3822156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de3e299a2accacf7b9cd299d148d1e046438e749","datavalue":{"value":{"amount":"+0.763267993927002","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":"Q4453640$C3BD06C3-0EBC-4A34-8CDC-4933C4B90030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c488c2da5bd543cb4b043782bd48d7718448ac98","datavalue":{"value":{"entity-type":"item","numeric-id":5172136,"id":"Q5172136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d1b3e94e1bd22839fec6027273a929dcb46992","datavalue":{"value":{"amount":"+0.7406752705574036","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":"Q4453640$A8A1BD20-F284-44D9-985A-9FA3B026CE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"715dfc83428df757ebf108f9f594d982b63fc5e4","datavalue":{"value":{"entity-type":"item","numeric-id":1861330,"id":"Q1861330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e9276bff701575a5a393d937224ea770b6893f0","datavalue":{"value":{"amount":"+0.7381910085678101","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":"Q4453640$8F1AE1FE-D9DB-4CDC-813E-86536202B305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536d29cf8a01295c47b40758461788b2d900a7b1","datavalue":{"value":{"entity-type":"item","numeric-id":3581800,"id":"Q3581800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e9276bff701575a5a393d937224ea770b6893f0","datavalue":{"value":{"amount":"+0.7381910085678101","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":"Q4453640$85083A62-B134-4F5C-AC7C-730A423067D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9889c3b95b1b19beb22295a52aaf6a8c4c4004","datavalue":{"value":{"entity-type":"item","numeric-id":5457300,"id":"Q5457300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72cf8a0bb2c690e681e701be34c7345d9d8511e7","datavalue":{"value":{"amount":"+0.7359294891357422","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":"Q4453640$68DD5E3D-F433-4E13-9C1A-0D9942B4B345","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4453640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4453640"}}}}}