{"entities":{"Q1210693":{"pageid":1221442,"ns":120,"title":"Item:Q1210693","lastrevid":66886737,"modified":"2026-04-12T13:31:21Z","type":"item","id":"Q1210693","labels":{"en":{"language":"en","value":"CSL '88. Proceedings. 2nd workshop on computer science logic, Duisburg, Germany, October 3-7, 1988"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 192791"}},"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":"Q1210693$82A0DE56-6FF9-40E9-9E3F-711219172C75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5436a81f24ed4727f37d3913339997677076d5a7","datavalue":{"value":{"text":"CSL '88. Proceedings. 2nd workshop on computer science logic, Duisburg, Germany, October 3-7, 1988","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1210693$FFBE6BF6-269A-47C4-9D34-A269E96A50C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5b1f25814b0e0024e906ca60d07a851676c3736","datavalue":{"value":"0709.00020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210693$9C1B66C9-6B0D-45F2-B94A-659E26696A0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1210693$5ECD3219-4B06-4990-A037-53AB948E3677","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1210693$57EEC16B-D78C-48ED-A412-68A72AAD2E58","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5562228bb2ba321120c88fd6cb6096047bb76d95","datavalue":{"value":"The articles of this volume will be reviewed individually under the abbreviation ``CSL '88, Proc. 2nd Workshop, Duisburg/Ger. 1988, Lect. Notes Comput. Sci. 385 (1989)''. For the preceding workshop see [Zbl 0651.00014].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210693$73AE4446-11A4-4CC1-BB60-CC7451ED4B1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210693$91F73AE2-266D-4EC9-AA48-D02C63148867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210693$0FCAD0F3-1837-4FD8-AC23-5BDDC907C12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210693$C5106337-F904-4C69-84F8-4A9763FAED65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0e358c64af16f966f9ce4433e4f490afa8b965f","datavalue":{"value":"192791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210693$826DD700-12FE-4009-B6E4-A95AB9E9BD18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3171b7f4be6bd042c952d4b79289e486a982b5c","datavalue":{"value":"CSL '88","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210693$C11CE431-4B5B-4B6F-9AAE-31F91E37E4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210693$E3A287CF-C5C2-4B28-B563-96FB6ED3962E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210693$4EEFD832-0C15-4E05-9F7F-6A34F67E1FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14eac7168e955414e960baeb226ffafd58202edc","datavalue":{"value":"Duisburg (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1210693$B3B83B09-7BCF-434C-AA48-307EC0CB20FD","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":"Q1210693$5C66D01E-8B1C-41D6-88EF-F4B9FB213920","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee560035b7d0dcc7f3237dbf1fff04d41ae494ee","datavalue":{"value":"https://doi.org/10.1007/bfb0026291","type":"string"},"datatype":"url"},"type":"statement","id":"Q1210693$B22EE507-0E5A-4FE1-8CB3-43911C6A4444","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0741daa8c419d0501aaf4cb65ba22967c33280c1","datavalue":{"value":"W4241889493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210693$63ABBE2E-FAC9-4095-A929-1F51CC0C0DBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5e962ff920c1f76a46ba2b7fd51e32268eb0538","datavalue":{"value":"10.1007/BFB0026291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1210693$9EEE68C1-3304-42E9-A719-D3668AFBC276","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b623e0f8061866c9ae168aaef236a96531c627c","datavalue":{"value":{"entity-type":"item","numeric-id":1978034,"id":"Q1978034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e5a88d85198cb0318fe72a9669f4a13afa716fa","datavalue":{"value":{"amount":"+0.7392125129699707","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":"Q1210693$A97351E3-2619-4B70-9000-23AF279E0969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc36d24555cd12c19d80281229e733f537afa8b7","datavalue":{"value":{"entity-type":"item","numeric-id":2946609,"id":"Q2946609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9819e196cee218965c6a1d7dfb41fd889dd1622e","datavalue":{"value":{"amount":"+0.7390917539596558","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":"Q1210693$866A06D1-45D8-4FD8-853B-0A61BD0B1A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba10238191b5e8f11e40f3071ff9d8e38dc800a8","datavalue":{"value":{"entity-type":"item","numeric-id":5109459,"id":"Q5109459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ac2b3ce66eda4f0abd0dd036c10418a965b2e1","datavalue":{"value":{"amount":"+0.7377645969390869","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":"Q1210693$DCA58201-8936-4EA0-B844-2AC460C9925F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c2349762974cb0289cb234f31477a91cdddf3a5","datavalue":{"value":{"entity-type":"item","numeric-id":1210878,"id":"Q1210878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69183337535790ebd9209acd06b029867db169b4","datavalue":{"value":{"amount":"+0.7291533946990967","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":"Q1210693$818DAD2C-EBD2-43A7-A7B8-5D12B6F15454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"480c12681bca89628ba4ec27439fd7429e91ee2d","datavalue":{"value":{"entity-type":"item","numeric-id":1118572,"id":"Q1118572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d96a67417c698c75ede833ddd97e5562112ee78","datavalue":{"value":{"amount":"+0.7223026156425476","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":"Q1210693$E125B931-7A78-4775-B7DC-F102F04A7229","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CSL '88. Proceedings. 2nd workshop on computer science logic, Duisburg, Germany, October 3-7, 1988","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CSL_%2788._Proceedings._2nd_workshop_on_computer_science_logic,_Duisburg,_Germany,_October_3-7,_1988"}}}}}