{"entities":{"Q5224557":{"pageid":7254126,"ns":120,"title":"Item:Q5224557","lastrevid":58489968,"modified":"2026-04-05T10:57:04Z","type":"item","id":"Q5224557","labels":{"en":{"language":"en","value":"The Worm Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084823"}},"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":"Q5224557$53AC782F-77D3-41EB-ADAB-B132458D6369","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff1294f5613903079c04ef3ad50082ea92c31a92","datavalue":{"value":"1418.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224557$9CA375F5-C15C-4BF5-AF44-22E03A02CD90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baff17669f425338700792b4ecd8adb1f8b7f3ef","datavalue":{"value":{"entity-type":"item","numeric-id":821549,"id":"Q821549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224557$163D1FD3-E9F6-4392-AEFF-3C09CE3A503C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2188a88b6674acb5d2901ff8f3d0f4e479b75adb","datavalue":{"value":{"entity-type":"item","numeric-id":385072,"id":"Q385072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224557$5F7C72B3-83D9-403F-B1DA-9B002ACC4F17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224557$7FD96DC3-A500-4714-9F51-D2DEB5CAE35B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdfdf67d780b572df29a9d15d8f91b35d7b80e2c","datavalue":{"value":"https://arxiv.org/abs/1803.10543","type":"string"},"datatype":"url"},"type":"statement","id":"Q5224557$4B83CB22-32A4-498B-948A-E4B51C532294","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224557$B25EEDE3-FC7B-4CDC-A3DA-64CDFA1EA11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224557$243D235D-A44E-4AD4-A8ED-C9976B1BADC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73b9927ff507fca7b784bdbb0cbebf28c31857bc","datavalue":{"value":"7084823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224557$565CBC59-B769-40B2-9E27-0B2C7DE77133","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224557$FC68981A-4CD1-4409-AF92-84ADD066D8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b1bca57aa6d88f6339387dfcbc1382dc73c98fe","datavalue":{"value":"strictly positive logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224557$C40BFC40-03FB-4C70-9B2E-1B4E843E3D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a47a252b06c5ebf529b5399685a3b67492fb41e","datavalue":{"value":"closed fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224557$4D85CF45-AD6F-47A2-BB4D-2F8E7B7A82B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32bd13add519fe7866a168ca2d3ab748547dc10a","datavalue":{"value":"feasible fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224557$1900B0BA-2D12-4488-936A-6F77682442C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"662f487464c33d01fa09f90d9d0576b8cf818a4b","datavalue":{"value":"reflection calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224557$2FBFA908-F8F0-42EB-A5B3-08B0B91176B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323cbba876bd9daa12d41e37cee779083e3a88dd","datavalue":{"value":"ordinal notations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224557$8B0C85BC-DC22-430F-9085-7239930F22BA","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":"Q5224557$BA13CDF5-3B7F-490E-8E3C-1AD05A8D84A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e3f51a54d48050f579a0a6c10b155c8e620f0b","datavalue":{"value":{"entity-type":"item","numeric-id":2151396,"id":"Q2151396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f95e8c01d0af4d2bc50f1f1108e70a2c89746ed","datavalue":{"value":{"amount":"+0.82985735","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":"Q5224557$23160818-FDF5-4AD0-9AFA-E803BB1DFFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4cacf8ce4d718613ad5b7cd7205033a6ec6719","datavalue":{"value":{"entity-type":"item","numeric-id":5494229,"id":"Q5494229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cfe2a6eabac21bcd38f7c5b11366ac160e15369","datavalue":{"value":{"amount":"+0.82851654","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":"Q5224557$31A6555B-7621-4D44-8ED1-3A6A21E7C3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32bb5d0ffc17131b519f29b491b64b4ca9f6bde1","datavalue":{"value":{"entity-type":"item","numeric-id":1184159,"id":"Q1184159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8838034f27362f357f23f87748f2145e74c8eab4","datavalue":{"value":{"amount":"+0.81975055","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":"Q5224557$14A7B97A-A333-4F13-9838-26C38EC22DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8801cae5335cb8503781d1612702cee7c1e9d7e8","datavalue":{"value":{"entity-type":"item","numeric-id":4034691,"id":"Q4034691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617e177e744cdd478d995b02e01a2269fcdd1df8","datavalue":{"value":{"amount":"+0.8153485","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":"Q5224557$3B2EF708-8457-43E8-BB42-CE4657579C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3f8a4534acb78f2ab8fc9c5467c796edd51bfa9","datavalue":{"value":{"entity-type":"item","numeric-id":4633972,"id":"Q4633972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"595e62c557233d9bc189352fb767150976eeecaa","datavalue":{"value":{"amount":"+0.8097452","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":"Q5224557$B3C36CB5-9522-4717-9728-DF114C08632F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df62c61abc3d017ee8667435e63384fbff3d292f","datavalue":{"value":{"entity-type":"item","numeric-id":5872868,"id":"Q5872868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fc3bd6ca0ca39205d4f3a392142d9c3d9dc5cc7","datavalue":{"value":{"amount":"+0.8051149","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":"Q5224557$8A1DF66A-6E38-4A7B-8A66-385326DD32C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb543b7e46f2dd04b63a0b682f7368d3c06f220d","datavalue":{"value":{"entity-type":"item","numeric-id":2566220,"id":"Q2566220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83f4e552afdd212a899b4b5d54db541713504e25","datavalue":{"value":{"amount":"+0.8020221","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":"Q5224557$639E421D-8E6B-4E8D-B428-71176F11202B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b03b51db8d5a5bd54d1052ff13cc0baeed3ea83","datavalue":{"value":{"entity-type":"item","numeric-id":4764628,"id":"Q4764628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0382345ffd100088d23be385c56bebd59e34f97d","datavalue":{"value":{"amount":"+0.8014914","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":"Q5224557$B0217CEA-2E59-47DA-891A-15110DF93385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dac56e45e5c97605955e1510cc7cf0bf3a2e2e6b","datavalue":{"value":{"entity-type":"item","numeric-id":4630290,"id":"Q4630290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0382345ffd100088d23be385c56bebd59e34f97d","datavalue":{"value":{"amount":"+0.8014914","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":"Q5224557$EBB6ED27-DD61-4830-9DF1-034F412CDBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce7a491cae0a09c7450c66a47514611768e7a01","datavalue":{"value":{"entity-type":"item","numeric-id":5474699,"id":"Q5474699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"586b975a1ef505c5833120b6c5cafbb9f45e06d2","datavalue":{"value":{"amount":"+0.799615","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":"Q5224557$4836509C-CB2E-4410-9EAA-CE05FE2F3C92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224557","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224557"}}}}}