{"entities":{"Q2831402":{"pageid":2842139,"ns":120,"title":"Item:Q2831402","lastrevid":83447354,"modified":"2026-05-07T07:59:25Z","type":"item","id":"Q2831402","labels":{"en":{"language":"en","value":"1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22--26, 2016. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6650238"}},"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":"Q2831402$C021F9BC-7F77-41A3-8D87-59B901C8E0E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54569894e5014a9c5b3e5ff1d12043cd5525ff7a","datavalue":{"value":"1351.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2831402$8CFE856E-8D4E-4CC6-A853-36281D96541D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63d0e318193755aad4791a0eda98082328d97c13","datavalue":{"value":{"time":"+2016-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2831402$E5D89540-8479-407C-8475-5AD156F21201","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f3709baff8d4d9d63494bace8e88f67e81bdfc4","datavalue":{"value":"http://subs.emis.de/LIPIcs/portals/lipics/index_f4e8.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2831402$8836FD77-8455-43BE-BDDA-7D6C240C51BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8571b052d9065e75332b6f279c2c274bcad1b32f","datavalue":{"value":"http://subs.emis.de/LIPIcs/volltexte/lipics-complete/lipics-vol52-fscd2016-complete_.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2831402$D2990EC7-1DD5-411A-9BE2-788A0FD5B24B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2831402$DFBC9A81-2D00-445E-B393-8D59E30C54E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2831402$4BDECAAD-D47E-4748-9E71-4F7B833BF710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2831402$C983F4CB-3FBE-4C0A-83F5-08444466054D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2831402$EE07DF13-2C0B-4E08-81A3-A604CEFA776C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6bc7f594c0c7f1032ee66d2657f5a20c262a451","datavalue":{"value":"6650238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2831402$C9032D5C-F2A7-48C8-B6A6-9FBE75C086E9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2831402$4957020D-6AD3-4D5B-B4E4-56481952B9CE","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":"Q2831402$B5CC35BE-57D8-456D-B939-74A6F36FB28C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7de3fea2407658297064a189b4083b0ada38c823","datavalue":{"value":{"text":"1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22--26, 2016. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2831402$070D72B8-643C-4A44-87E9-490B0D24F0BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1af0bc7a245d6b2242ded88869f897d04793ca94","datavalue":{"value":{"entity-type":"item","numeric-id":6536181,"id":"Q6536181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2831402$7343120D-C9D7-47E1-AEC6-5BD923DB31F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22--26, 2016. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/1st_international_conference_on_formal_structures_for_computation_and_deduction,_FSCD_2016,_Porto,_Portugal,_June_22--26,_2016._Proceedings"}}}}}