{"entities":{"Q2870429":{"pageid":2881149,"ns":120,"title":"Item:Q2870429","lastrevid":83953169,"modified":"2026-05-07T14:52:09Z","type":"item","id":"Q2870429","labels":{"en":{"language":"en","value":"Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2--5, 2013"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247840"}},"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":"Q2870429$BDBD4496-CC61-4CDE-9BC3-5F9790360F52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7681df6996d2a7d8a0ea47256b79b7042016a68a","datavalue":{"value":"1280.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870429$51A6C0DE-147E-40E6-AD68-0B54149D176E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12a4d6c941a7664d9ad3090b44efe2602424b911","datavalue":{"value":{"time":"+2014-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870429$0317D1E4-7250-4D90-8A56-9935C16185EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"172dfa2df95fc0797dbda01401f497d0e5321503","datavalue":{"value":"http://cs.emis.de/LIPIcs/volltexte/lipics-complete/lipics-vol23-csl2013-complete_.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870429$DF441DC1-AAD5-4E85-A48D-A5D005FA5DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9761c40345e80091c5f4d9a2897cbf6c9bb1550","datavalue":{"value":"http://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=13009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870429$529AA604-828E-4747-8043-B61384AC2252","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870429$4D7AEFAA-A5F4-4493-9E96-0A83D945F3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870429$2A438387-3A4C-4D04-A107-4F2262F5A534","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04e06558291a46a908e370a20095816d077bf1d5","datavalue":{"value":"6247840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870429$C26B3291-A790-4377-85BB-A1F1AB42025F","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":"Q2870429$FA6B3D16-ED87-4E86-ABE3-82C86C931E07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fc4ccfde3e7e66eeff3fa3c5fd963d347e18153","datavalue":{"value":{"text":"Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2--5, 2013","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870429$50A9F2C5-A3D1-4B35-AA9E-2C7195BECACB","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":"Q2870429$5AF00138-002E-45B8-85C1-4FE8C8F01196","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2--5, 2013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer_science_logic_2013._Selected_papers_of_the_27th_CSL_workshop_and_22nd_annual_conference_of_the_European_Association_for_Computer_Science_Logic_(EACSL),_Torino,_Italy,_September_2--5,_2013"}}}}}