{"entities":{"Q5952593":{"pageid":8129395,"ns":120,"title":"Item:Q5952593","lastrevid":38276767,"modified":"2024-12-09T11:19:00Z","type":"item","id":"Q5952593","labels":{"en":{"language":"en","value":"Special issue: Calculemus-99: Integrating computation and deduction. 1st workshop, Trento, Italy, July 11--12, 1999"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1691577"}},"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":"Q5952593$B39B1865-E2DD-4BF2-B813-CE1A6D22ECB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88a580fa6193c7c4e7a87e5ce9701ba1184c2c27","datavalue":{"value":{"text":"Special issue: Calculemus-99: Integrating computation and deduction. 1st workshop, Trento, Italy, July 11--12, 1999","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5952593$2489A44E-B34B-4753-AF69-3DF386108FEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c2b4ad6de24361e1df880cfc5debb8f01a20354","datavalue":{"value":"0977.00037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952593$18D2137A-9AE2-4BB7-8666-96B1BAD11B63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952593$FC524B46-E06E-446A-8BF4-090E04CD5CC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"080c83eba9d0aaada8ba639fd9ece6b56cd533cc","datavalue":{"value":{"time":"+2002-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5952593$803532C5-DD66-466E-A205-A57E473CA75B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c3579ada281bc5c17391d177334991b7f4ce1cc0","datavalue":{"value":"The five selected papers will be reviewed individually.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952593$322C16FF-E4EB-47EB-987F-EA2BED67A263","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952593$761540BD-58EF-4268-BF07-877914FA7147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952593$709EDCC4-B1A6-440D-9E44-655410EA7EE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4221e8f2a749b2ec89a53e0fdcad599c4dc60a26","datavalue":{"value":"1691577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952593$7DE1D2E6-4C50-48B8-8C4F-8BEEC83DC0B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30079201549958701bc79bc36ae8a8054f2abdac","datavalue":{"value":"Special issue","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952593$1CBBD5D3-366B-47C6-AFAE-B1408646FD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"976db3ede86419f801052df2563dbb408e45e313","datavalue":{"value":"Trento (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952593$329D2047-4A4B-48F8-BD0E-A3DE31A2B50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2d28afaefcd9aad83b627cdc0323ce665beb01d","datavalue":{"value":"Selected papers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952593$3C3B5C93-CEA3-4E60-8A4E-ED170A433E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952593$F8128EF3-2D90-4E25-887A-FE544094B044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b67dd01d077cb4c3d5eece85a0b7218e1974bff0","datavalue":{"value":"Calculemus-99","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952593$6DC735CE-73C7-4222-B1C3-EBBB468A20AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cac552c03116e88aa9da13af29def2c5b24f12d","datavalue":{"value":"Integrating computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952593$628D92BD-67F2-4DCA-A884-73B808D98AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"021a7e8cc1a55313bc4d9402560a51988e58614e","datavalue":{"value":"Integrating deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952593$A102826D-4541-4E2F-BDDE-4B71123CD844","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":"Q5952593$10B1F4D0-72B3-46A7-A703-E7A2FCA3B26E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"493a14a7b1fc88043aa7f37ba78cde0d46fcf89d","datavalue":{"value":"https://doi.org/10.1006/jsco.2001.0467","type":"string"},"datatype":"url"},"type":"statement","id":"Q5952593$0DFA3958-9343-4CF9-A6FA-1C7B4ADB69BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21652d618fb9e5e9cf991792e47e0ce4021ab3c5","datavalue":{"value":"W1994031282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952593$9C7DEE6A-6D88-45BE-A096-0AE3B7F37F6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a8a563f3a9c2d8a17a36ad5f7080ef623047c2e","datavalue":{"value":"10.1006/JSCO.2001.0467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952593$23164D8F-95D8-4A3A-8B6E-725539EC4BF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5952593","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5952593"}}}}}