{"entities":{"Q4282577":{"pageid":6312178,"ns":120,"title":"Item:Q4282577","lastrevid":47233369,"modified":"2026-01-01T02:14:30Z","type":"item","id":"Q4282577","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 517049"}},"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":"Q4282577$F79B1051-168B-4D50-B998-4FA3E79E8223","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12e8ef0e49c43374fb1530296c2fff30d3038813","datavalue":{"value":"0794.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282577$D682C420-E934-4D74-8A79-8BF3F2FC9D7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4282577$A0B66EA4-89C9-438E-BB89-DFDE4891DC3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4780992a512f8eae7da384a8eaf64ba6fb4b678a","datavalue":{"value":{"time":"+1994-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4282577$613BFE0B-39A0-4FBC-A819-2253B762552A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282577$E8979BBE-1866-4058-B750-E87D7A4509C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282577$77EB74A2-3F68-4F42-936E-A62FBFDA69F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff23ac25cca9aa4670efb8cf60550629dd3d12c0","datavalue":{"value":"517049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282577$6A04A775-ABCF-4E6E-BF58-174DBD8E5C01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b351f80d805ff0a5e651e74ddbcc7ac60123b82","datavalue":{"value":"intuitionistic version of Ramsey Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282577$D4880F24-61CC-4DEF-914F-8677D5FA203D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abf357e042442a9318821939211e7fa1389a87ae","datavalue":{"value":"formalization of the logic of nondeterministic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282577$FFC9E21B-9C17-4AF8-9C42-27D140273916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ecf7477fc3491654f50a30838c2f690d55f86b","datavalue":{"value":"logic of sheaves over a locale","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282577$08F4FCEF-84EE-45CC-914F-A288FE3BC782","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":"Q4282577$2747A96C-3D62-49CC-8989-2179133B156F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"084cd59e3f8af72e511a9a0b9081237c2b0aa7cc","datavalue":{"value":{"entity-type":"item","numeric-id":685402,"id":"Q685402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93b17bf7a2e2ad7d2c95092fc0faeeb66daf3053","datavalue":{"value":{"amount":"+0.8333508968353271","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":"Q4282577$77F5820B-8715-4ED9-8626-ED3DFF830754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a895dc54639ab21cc7b6646ac9a56d087397622","datavalue":{"value":{"entity-type":"item","numeric-id":1327381,"id":"Q1327381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e5a00460d96bde88fc427db14bdd605fa9ef4ea","datavalue":{"value":{"amount":"+0.8330236673355103","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":"Q4282577$2059B460-EE94-40EA-854B-75CE737D94B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f072dcc93454753bc9f43ca36a2eacb0dcd52a","datavalue":{"value":{"entity-type":"item","numeric-id":3353014,"id":"Q3353014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a8dabd1b979e599a90769f66ac1dda1c22aeba","datavalue":{"value":{"amount":"+0.8149826526641846","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":"Q4282577$C2EE1F91-B196-49B1-A7DE-092AD9F7E055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea4fd2b59b75be3ff374cccbcefc3b34af9e0f3","datavalue":{"value":{"entity-type":"item","numeric-id":499082,"id":"Q499082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea591409e75fa1dec222b73e33b076d92a953b1a","datavalue":{"value":{"amount":"+0.8097563982009888","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":"Q4282577$F6DF1255-DEC0-4977-89AB-BB70895A589E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d069feff83cbf1bc24a362d89e7883ef992338c4","datavalue":{"value":{"entity-type":"item","numeric-id":5170810,"id":"Q5170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6e8015b729dee76eca4a2aa1ab82d9b4edea5f","datavalue":{"value":{"amount":"+0.8049719333648682","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":"Q4282577$3F3CC692-D13C-414F-9384-BE240A714C5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4282577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4282577"}}}}}