{"entities":{"Q3174683":{"pageid":3185393,"ns":120,"title":"Item:Q3174683","lastrevid":58130562,"modified":"2026-04-03T22:38:54Z","type":"item","id":"Q3174683","labels":{"en":{"language":"en","value":"Proceedings Third International Workshop on Classical Logic and Computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6904770"}},"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":"Q3174683$63ED49EE-0774-4547-AB5D-3FACD3B2EFD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c0c3b6ac63b40e796a67e1a3605a90905343a8f","datavalue":{"value":"1391.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3174683$7D51B0CB-FAF0-46E2-8ABF-AAFF7CC7951A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2e1297581f534d39de85cfadaabc30c2708aceb","datavalue":{"value":"10.4204/EPTCS.47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3174683$8A5E2B5A-A829-41F5-B30C-E95920A90D32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3b3dec7824e997ce454aa280736f2a1a20708983","datavalue":{"value":{"entity-type":"item","numeric-id":2789506,"id":"Q2789506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3174683$9F92AF28-CCB8-4886-B972-9D8EB3DE7A4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b5beb1c4bc785d138efad70e0daa9766f53b635","datavalue":{"value":{"time":"+2018-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3174683$A185963F-2726-4FF9-BCD4-66E96B26B4EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b8226b49af1e201a12c267838ddc6a8530ac88a","datavalue":{"value":"https://arxiv.org/abs/1101.5200","type":"string"},"datatype":"url"},"type":"statement","id":"Q3174683$CAD69790-2C79-4588-8AA1-93AF99506365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"79d8b047db5b18f1c059c252329357184496070f","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?CLaC10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3174683$E3FFEF5C-81C7-445B-A6BA-A00B4DB67345","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3174683$A06D6C86-36E6-4EE5-881D-13838C147974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3174683$F2158870-9B07-491C-9550-7700E2AC7DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3174683$25E96416-C230-4BA5-B6B3-DC12A71DBC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3174683$DE8366B2-CB85-4CD3-824D-210378896AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3174683$F07F29FF-74FB-4210-A3CF-F7E6B9618928","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5ec9f3df6a90a90b6ee53a2781777a86659e8cb","datavalue":{"value":"6904770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3174683$D29C0083-F6B9-4DA0-98CA-84B95648F201","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":"Q3174683$578331D9-678D-4800-A864-7175105E4B19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9b39d387202033dc61ad7b8711a0418d447b52b","datavalue":{"value":"W1548968919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3174683$EFD25516-6CEA-4AC0-A86E-DE5ED30B68EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92eb706f6bf021d173bbed0217b35cdba8b62745","datavalue":{"value":{"text":"Proceedings Third International Workshop on Classical Logic and Computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3174683$DFAC923C-2E34-4BB8-838A-D299EE53BF88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3174683","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3174683"}}}}}