{"entities":{"Q4582990":{"pageid":6612575,"ns":120,"title":"Item:Q4582990","lastrevid":53181803,"modified":"2026-01-24T10:00:36Z","type":"item","id":"Q4582990","labels":{"en":{"language":"en","value":"Proof and computation. Digitization in mathematics, computer science, and philosophy. Based on the international autumn school ``Proof and computation'', Fischbachau, Germany, October 3--8, 2016"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6925253"}},"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":"Q4582990$D16BD5F3-98F7-40A1-9139-4CCC637FB52F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f07117b0de2c06f110826c67b1041d8edae99e8b","datavalue":{"value":{"text":"Proof and Computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4582990$A0B4CD1B-CD8B-4A67-997F-B3BACCF288EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c49f24a001dfb8d0608954d0eccac7a93baa8f1","datavalue":{"value":"1400.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4582990$05714382-7D99-4AC3-BE61-33140E40B868","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"682596850e5c81677ca7b544e0d569b6f550ae68","datavalue":{"value":"10.1142/11005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4582990$8EBF8151-E904-43C3-BB37-8A53721E1952","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07d78b2809f727a96c8c6621733f1ab3a1973328","datavalue":{"value":{"time":"+2018-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4582990$76651D21-7883-4B7D-9373-C7B80A592381","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4582990$376CD542-6EF0-4DE9-8D1D-D24A6B075821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4582990$3EC9C3C3-C7B9-4DFE-93C7-663B058F2E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4582990$B7C2674A-19D9-4416-B9E7-2608B92173F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4582990$3C0BBC36-DC7D-4D9C-A954-B8C8A5048F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4582990$ABC0C279-4CC3-4BAC-93E1-43AA22FD3FAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58cefae28e9a0fd232443e2d93ddde7dd6bddbf0","datavalue":{"value":"6925253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4582990$2E9C9942-4717-4883-97B2-3EA83F264093","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":"Q4582990$653E1A99-779A-47A9-82E6-8A41B6CB831A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75fab89725801322b0f5ea7837cb665014763333","datavalue":{"value":"https://doi.org/10.1142/11005","type":"string"},"datatype":"url"},"type":"statement","id":"Q4582990$7B83FC16-BF92-415D-B17C-068E135B6558","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f6979a0fb345c802744f72c336f73e9fab8e3fd","datavalue":{"value":"W4252005186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4582990$C0B657E6-C381-41EF-A21A-1ED5CA418B49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1aafaf24601b7f3ff9d8cf731ec88b7d7ddd7d1","datavalue":{"value":{"entity-type":"item","numeric-id":5005616,"id":"Q5005616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba471369b47af7139bc8f558555253f88af0f67a","datavalue":{"value":{"amount":"+0.8763733506202698","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":"Q4582990$7B2DDB17-E083-4F80-BE34-ACED0F505962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9596b2bb6d2edee0988059b502d34663513f94ee","datavalue":{"value":{"entity-type":"item","numeric-id":4599349,"id":"Q4599349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec2f412085c2c13235a101e4ede8c5b2beb0a52b","datavalue":{"value":{"amount":"+0.7824332118034363","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":"Q4582990$6BB69A45-D13C-4182-9DB6-2AFDAC0217A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4477e180b771717860b6be03e98fe5bc4fbbeb31","datavalue":{"value":{"entity-type":"item","numeric-id":625290,"id":"Q625290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e4650bfa554dbb9fd64c9a20c13bd5d659db922","datavalue":{"value":{"amount":"+0.7796744704246521","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":"Q4582990$E2447379-7BA4-4804-A622-12A1836BFA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a312d4e1389c3e09e85597897ab5ca5163858323","datavalue":{"value":{"entity-type":"item","numeric-id":3110202,"id":"Q3110202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75a5a52ccbd18cf2d32400145e812a9071aeac11","datavalue":{"value":{"amount":"+0.7644308805465698","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":"Q4582990$42C7AFB2-B19B-4452-9756-E31C97704ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab16e0827da344c5fa285bc84edcbaa0e960f60","datavalue":{"value":{"entity-type":"item","numeric-id":3305633,"id":"Q3305633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f0d76650a1f7cb3e4391c39aa2c00a3daa13776","datavalue":{"value":{"amount":"+0.7508775591850281","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":"Q4582990$CCE71A81-8857-4D0C-AE25-0C4393E0DA9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4582990","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4582990"}}}}}