{"entities":{"Q4534366":{"pageid":6563958,"ns":120,"title":"Item:Q4534366","lastrevid":47925421,"modified":"2026-01-03T02:42:08Z","type":"item","id":"Q4534366","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1751350"}},"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":"Q4534366$AE2E2164-65DF-42DE-9630-D79A9C322E2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"273f03ef816f370d074e186e5df3e6235514f755","datavalue":{"value":"1011.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4534366$A7FA6052-9611-4188-B9D4-AD101281A88A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65d92ec75d628fee5ec7d8ff1596e77d100222be","datavalue":{"value":{"entity-type":"item","numeric-id":2804338,"id":"Q2804338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4534366$A43A21C9-0D4C-491E-9D26-A0F853878F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f5711a22c90a25acfa5e838b5972ab6cd5c8785","datavalue":{"value":{"entity-type":"item","numeric-id":1317985,"id":"Q1317985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4534366$7AE090BD-D588-4CAF-B8D8-1D61A90512D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bbc9c127b1d81211c5164932dcbd7d39ee216ac","datavalue":{"value":{"time":"+2003-05-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":"Q4534366$4FA3CFEC-E540-43E6-994F-484745625156","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1da64b77702539c1a687fa130593f6e67ceb92d","datavalue":{"value":"http://www.ams.org/distribution/mmj/vol1-4-2001/artsidon.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4534366$82F04DB8-8B1D-4C4E-9D7B-BBD5ACEDCCA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4534366$E944991C-6C62-4A62-AC54-5715A9CFC4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4534366$5E31245C-7F86-4E7B-B38D-D1E612A84C97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2daf90cc81815f384ed69333da3c871cee881da8","datavalue":{"value":"1751350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4534366$C0959C95-F48D-422E-8A1E-EBB88C6157A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4534366$0EA549BA-B15B-4C31-A15A-9EC7B1F20FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4534366$4934D04A-B22F-47B7-8A2A-8B40E19C7B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a186fe60865125c7e79cf46e3bd47c9956c52a4d","datavalue":{"value":"recursive axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4534366$A205BA9A-65E4-4351-BEE8-1C85B0D4702D","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":"Q4534366$DEC4007D-A54D-4390-AB2A-51FF143426AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bade1c4d4b8c83dc9273b03a9c5e330219392210","datavalue":{"value":{"entity-type":"item","numeric-id":5957921,"id":"Q5957921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f26dc2908f2fd46f8d5c36236542f32c9d4d070","datavalue":{"value":{"amount":"+0.8450965285301208","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":"Q4534366$AB3FEC0A-B602-4B40-A20C-16AE1FBC759D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0a198dbcd0f5e762a31f07682b48e6da4c9748","datavalue":{"value":{"entity-type":"item","numeric-id":5957922,"id":"Q5957922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63363a78f34987e2ba36119f0be624fc1f86ce59","datavalue":{"value":{"amount":"+0.8364281058311462","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":"Q4534366$527C1641-4B62-4F4F-B2E7-8645351E5E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b108a6b167800fa57292324f80188fa967063337","datavalue":{"value":{"entity-type":"item","numeric-id":4430390,"id":"Q4430390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be639f2dc0b7f6e23b0c9f90739d2e66a04db417","datavalue":{"value":{"amount":"+0.8342163562774658","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":"Q4534366$BD309928-2F56-4E78-A955-3DACE450E0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0b4fb6948c8f54dc67ea16bd08a699892a658a","datavalue":{"value":{"entity-type":"item","numeric-id":3731573,"id":"Q3731573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c4a996dcbf104773a9c207d34cef99b05683e7","datavalue":{"value":{"amount":"+0.8341500163078308","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":"Q4534366$5F702FAF-5204-47DF-8D4B-A9549F71B62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0d0fa343c0b96a269f5396808d56db680ae857","datavalue":{"value":{"entity-type":"item","numeric-id":4829857,"id":"Q4829857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b90ed2808acfa2ad7c17b6d71ec43c89cab86b22","datavalue":{"value":{"amount":"+0.8172884583473206","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":"Q4534366$5C4B2AD1-F831-43EB-8CB9-45B8CB1CF22F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4534366","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4534366"}}}}}