{"entities":{"Q2018656":{"pageid":2029398,"ns":120,"title":"Item:Q2018656","lastrevid":52232894,"modified":"2026-01-21T05:23:26Z","type":"item","id":"Q2018656","labels":{"en":{"language":"en","value":"Foreword to the special focus on formal proofs for mathematics and computer science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6419294"}},"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":"Q2018656$E605DE84-8758-41DD-98AE-87313FC5CD3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6761d4b6c0fedd2c368bea359517db7c1e793aba","datavalue":{"value":{"text":"Foreword to the special focus on formal proofs for mathematics and computer science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2018656$DDBBFBFA-CF43-48C9-9929-DF013FDFCED7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af8b50340ee0eab45281ff7dd7c243964dd80b2e","datavalue":{"value":"1308.00050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018656$90CF97BB-C6B1-40CA-A025-B29C863C0FA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018656$DB3F8A6D-AB6C-4638-925D-FD690FC4876F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b77c42bc66f346d9aff545852c0924441ebde207","datavalue":{"value":{"time":"+2015-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2018656$62F05B0C-51BD-4BD2-9E01-332BF15D52B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018656$7A91A034-515F-4F2E-A6BD-6D16581B2007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018656$EC3D25C4-EEF1-4C18-B532-8E066DFCCD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018656$1706F7E1-F9F2-4E83-A36B-145FBB79D30D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e854fa37f539135bf9d37c1822c99b9a68530d7","datavalue":{"value":"6419294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018656$16C6E936-468A-4BFA-BFA2-2470226253B7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018656$495EE50B-53DE-4DB2-A20C-027C839E186C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"533959f24a509b955614f607e46b8aa4cec190ef","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018656$9DD369C1-2F37-44C4-8920-85646363B7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018656$90D11AEC-768C-4288-8042-25EB80B56006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018656$ACA85731-76EB-4CC8-A893-8D30778B8A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018656$EBE3FF55-A915-4C70-B274-EC02D636BE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018656$B0FC3F4D-431D-40E9-B4E8-1DD76E3466E6","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":"Q2018656$FD5ED1A9-79F8-4B56-A991-CE1C360A3EBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c659a4d9bda9533150c010d2dff19ba5254ac773","datavalue":{"value":"https://doi.org/10.1007/s11786-014-0214-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2018656$6DF92A27-0B09-4254-BFAB-6FFA718BC023","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74beb70485317348e1efb950acb721df99aa380e","datavalue":{"value":"W2086038140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018656$B40DAB41-385F-4978-9AEE-A8627554669C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fce7fd90eddca2321bf359269ac32e43f8175f5","datavalue":{"value":{"entity-type":"item","numeric-id":2819813,"id":"Q2819813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018656$CD2DF2F6-9000-4F59-9B61-F3261651BEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018656$3327D64C-651B-4ADC-9310-F2D9BD265438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018656$B9A8AE0E-E2FB-4DE1-B1DE-EAF43FECD11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f831bdd0445bbb207a58535cee0f990813469d","datavalue":{"value":{"entity-type":"item","numeric-id":2655322,"id":"Q2655322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018656$BC701C9B-3383-486A-921E-74323ECBA262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1e46bde366c9665559a7c22a84b5c9d3a328b4","datavalue":{"value":{"entity-type":"item","numeric-id":5408415,"id":"Q5408415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018656$579B7454-F3D3-44AD-9F22-B570F6B37D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018656$193F3253-BCF6-4253-BA02-1B3E4EF09310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999b14224255809098a606c16262602638de58e6","datavalue":{"value":{"entity-type":"item","numeric-id":2879260,"id":"Q2879260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018656$23891C67-FB19-477E-AA22-580A01A0E1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018656$0A61EDFC-EE57-4766-8550-BEF7E83E8742","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d0216d824da09db894971d631801155c7b9b178","datavalue":{"value":"10.1007/S11786-014-0214-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018656$17F71CCD-D2E6-4433-B19F-2D741F387D64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc268baf51e6f99f0ec7fc0e4bd70830f2cc4651","datavalue":{"value":{"entity-type":"item","numeric-id":5302560,"id":"Q5302560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"249b3e0cdfca496d107207a4d55a2a204e94b4a3","datavalue":{"value":{"amount":"+0.8242522478103638","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":"Q2018656$F5994DE0-766F-4CCB-BBE6-730A203B0E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b5cd105b44770aa835c9cbc85b4fcf5656f16d0","datavalue":{"value":{"entity-type":"item","numeric-id":5894305,"id":"Q5894305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b38d790db7c9164eff910155ba550e7fcdd899b3","datavalue":{"value":{"amount":"+0.7802246809005737","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":"Q2018656$992D7569-9175-4551-92A6-702CE539A44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6ba7746db3411117fef3a34be889dfb4c4e69a","datavalue":{"value":{"entity-type":"item","numeric-id":5448310,"id":"Q5448310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2ccf11f58891ccdbfb531b16aebeeb9f7f230f","datavalue":{"value":{"amount":"+0.7751882672309875","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":"Q2018656$EAA8F723-B07D-472E-9E4E-7D5BD48B95F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba5287e0aa1e87217bd42cd2d66e24afc654f209","datavalue":{"value":{"entity-type":"item","numeric-id":1820596,"id":"Q1820596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aa4e256bfb1f27736e1737ca0ef03cac9fe4332","datavalue":{"value":{"amount":"+0.7699978351593018","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":"Q2018656$9A6BB095-290D-4B0A-ADD4-79DE119AF66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2aab0b051f38a2ec6bcbbb178d3394950ea2eb8","datavalue":{"value":{"entity-type":"item","numeric-id":1610674,"id":"Q1610674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8de09c9a1f46e26eccb57138983ee9de1b739f8","datavalue":{"value":{"amount":"+0.7628048658370972","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":"Q2018656$A7099E70-3EAF-4F15-A7B9-9711B6C23764","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2018656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2018656"}}}}}