{"entities":{"Q4246727":{"pageid":6276328,"ns":120,"title":"Item:Q4246727","lastrevid":108451049,"modified":"2026-11-06T13:13:40Z","type":"item","id":"Q4246727","labels":{"en":{"language":"en","value":"Proof by consistency in constructive systems with final algebra semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1300969"}},"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":"Q4246727$21D2E7B9-D08A-4941-AC7C-C07E366A0734","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab8f7e56809dc4844898987eb947cf340456ad09","datavalue":{"value":"0925.68305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246727$957243A9-B988-4E6A-B95F-168016175311","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b0aa3f954e9adb388216269ba8382b87a46cab3","datavalue":{"value":{"entity-type":"item","numeric-id":1317861,"id":"Q1317861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246727$64EFFE3C-F9B3-4BB5-ADDA-B30031A773AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6519a7402d8426d5ea5b3178a65f57c03658b26","datavalue":{"value":{"time":"+1999-07-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":"Q4246727$733FADB8-39BD-48C0-9924-4BE6C821F07E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246727$9C1E27C7-67F4-41D8-B640-664EA33267DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246727$F0FBEF46-97D8-4E9C-8984-28361D7B57CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f075bcbbd27095de13dedf6d4d2554f769e814c5","datavalue":{"value":"1300969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246727$0F6201D2-EA64-438D-8E33-EC988CDFEE30","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":"Q4246727$77D2C73E-1544-4193-BDB1-E0A5D19CE9EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcb19e54bb03d2aa0807fea77872b1b442b130bd","datavalue":{"value":{"text":"Proof by consistency in constructive systems with final algebra semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4246727$63A0A89D-D3CF-48FA-9057-AC27754FA790","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5465d40a890d98d2a69e1c0716d69f355bad7813","datavalue":{"value":"10.1007/BFB0013832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246727$AD28E110-20F6-4C42-8323-1E3327FED231","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246727$604BC4A6-6CCF-41BE-87F9-F2DAC36A9426","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof by consistency in constructive systems with final algebra semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_by_consistency_in_constructive_systems_with_final_algebra_semantics"}}}}}