{"entities":{"Q4828877":{"pageid":6858457,"ns":120,"title":"Item:Q4828877","lastrevid":48382624,"modified":"2026-01-04T13:38:31Z","type":"item","id":"Q4828877","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2119475"}},"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":"Q4828877$DE39082D-093E-47AD-B49E-5AC9FF604946","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ae0a9cc53be40f899835b3f0248ea2064ab4c23","datavalue":{"value":"1052.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4828877$540BA426-884B-4023-B315-52508E428AAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ac19c6003a814839a3f511f3b429af9fdef7758","datavalue":{"value":{"entity-type":"item","numeric-id":402118,"id":"Q402118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4828877$28BF34B3-61EE-452D-A379-F53155A8EA62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e4b85a95bb580942118a318d128e25f89c02618","datavalue":{"value":{"time":"+2004-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4828877$11C10FA6-3477-4E43-8716-8392A6CA9A9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b120016cd03e7f873f020eeea510ec2c60a55cc0","datavalue":{"value":"https://eudml.org/doc/22587","type":"string"},"datatype":"url"},"type":"statement","id":"Q4828877$4C08C648-525D-4D3F-835F-B4D9D6C29759","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4828877$6F654165-689D-4E59-BE32-E2E6A4250E9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1d1f4c8b8c22002ab3f00cde9a8a198fa10cb98","datavalue":{"value":"2119475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4828877$70BDAA44-591A-45BA-A276-24DE4B431476","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee539f3c66b5148353f42975573a39b50c5340f","datavalue":{"value":"complexity of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4828877$AB2D9917-9C31-4082-9C1F-5593C95A6704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1132016f33b98dc0642c2500a3d2e6e8bc4f0a6","datavalue":{"value":"monotone logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4828877$AB9BEBB6-1A12-494A-A458-7810ADD6A983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4828877$46278880-037D-4040-AAD3-9CF7AF2FBA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4828877$3B9C1B4D-A769-4BD6-AFBD-E97791A7AFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4828877$A359F193-F217-4FA5-BA50-E89033D082F8","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":"Q4828877$B5CD14A9-6539-457C-BBBA-51953DBBDF9C","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"418f3e4077430149b368c9c7f62aa212c90289a8","datavalue":{"value":"bafkreiagd5xj5b5ayw3umir6kngxqrbg6gw4zto55xyj6z7u6677yoafce","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4828877$581DC6DD-CC5B-48F1-BF5A-4F68B0406A6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc24d30b4e729ddc2c3f5b907cbd4265cc34b3ba","datavalue":{"value":{"entity-type":"item","numeric-id":2765569,"id":"Q2765569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dde620cc6cb627d607677461e5f9115cc37095ca","datavalue":{"value":{"amount":"+0.8107281923294067","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":"Q4828877$F436D045-D58B-4307-901C-BC03FDD467FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0247af87e176aafad6848ca6c4df8650b0e491","datavalue":{"value":{"entity-type":"item","numeric-id":920967,"id":"Q920967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dde620cc6cb627d607677461e5f9115cc37095ca","datavalue":{"value":{"amount":"+0.8107281923294067","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":"Q4828877$8A77160D-4C29-470D-87D0-352B93AB2F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ffd5fa752f6ff229cbde23b7a782d9a6f389f76","datavalue":{"value":{"entity-type":"item","numeric-id":1872729,"id":"Q1872729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b085bb4b123705bded4555285bff62189aafec","datavalue":{"value":{"amount":"+0.809540331363678","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":"Q4828877$10C006DF-F78C-44A7-8AB8-DC378750DAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18f9694abecfc5e8a5606ff7800d0792f412e7f7","datavalue":{"value":{"entity-type":"item","numeric-id":2888631,"id":"Q2888631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"190eb1c6bcdf81e5cf03c9f6f8d793f874fc229c","datavalue":{"value":{"amount":"+0.808954119682312","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":"Q4828877$775E42E2-7ABC-43FD-9002-EF81DE308C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"451b70d18c5826eba1b7f5b1f4d221eb4f2b8213","datavalue":{"value":{"entity-type":"item","numeric-id":2754140,"id":"Q2754140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a9b03de975e3f3d8a46997c69c0672cee264ab","datavalue":{"value":{"amount":"+0.8077596426010132","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":"Q4828877$F6409C0E-C2E1-4CD8-9090-9377F64BAF66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4828877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4828877"}}}}}