{"entities":{"Q2555491":{"pageid":2566234,"ns":120,"title":"Item:Q2555491","lastrevid":78891782,"modified":"2026-05-06T12:40:38Z","type":"item","id":"Q2555491","labels":{"en":{"language":"en","value":"Remarks on formalized proof and consequence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3389012"}},"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":"Q2555491$00781A5C-707B-4E11-BEEF-23587F89365F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55347adc187643b15763bac397e92813adc83b83","datavalue":{"value":{"text":"Remarks on formalized proof and consequence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2555491$9CFA88AA-ABBA-4FCB-A5E7-2743B6E73293","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07f986fad60752ff81d6029a16e22d2e381becfd","datavalue":{"value":"0246.02026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2555491$D28140D2-F602-4A27-8F11-528F5306EC10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"397a420507a2886c7fcb31d43ca65b1936be6117","datavalue":{"value":"10.1007/BF02297286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2555491$8C9A3561-72BF-4294-9DA2-7D8277F3ACD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2555491$D4B09D56-5DED-412F-9BA7-4D832D46CE36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ebb271ba779bdc18e731b88d6d6d8739d7e37f","datavalue":{"value":{"time":"+1969-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2555491$BA77F9F2-1911-44C5-ADEA-974F6E786E52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2555491$DB6EBCE3-8051-4025-884C-A692271AABD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"514a348884aa145d9df5d4a6c26cdd33bfb75893","datavalue":{"value":"3389012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2555491$6A33716B-F254-4CC5-8546-9C2C34FCF47D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"467b9202f71cdff8d6e0de2d1f8203037e874e40","datavalue":{"value":{"entity-type":"item","numeric-id":1060208,"id":"Q1060208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2555491$E293B494-6B12-4C7B-B89E-92753DA340A0","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":"Q2555491$939FF5CB-476E-4B54-896D-FB25B1C5AE6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"017e509a0514c6a085d7091c4e95163f95d2d84c","datavalue":{"value":"https://doi.org/10.1007/bf02297286","type":"string"},"datatype":"url"},"type":"statement","id":"Q2555491$3443168A-1FD1-477B-85FF-1E2804B84FC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06a98fd81186e904437ed6e991787ec07719cf3c","datavalue":{"value":"W2054871221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2555491$7A203E5A-51F7-46BB-A47B-95E2CE1FD375","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Remarks on formalized proof and consequence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Remarks_on_formalized_proof_and_consequence"}}}}}