{"entities":{"Q1815290":{"pageid":1826032,"ns":120,"title":"Item:Q1815290","lastrevid":69030000,"modified":"2026-04-13T03:51:08Z","type":"item","id":"Q1815290","labels":{"en":{"language":"en","value":"Papers in honor of the symposium on logical foundations of computer science, `Logic at St. Petersburg', St. Petersburg, Russia, July 12--15, 1994"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 942911"}},"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":"Q1815290$422762FF-CDA8-4BAA-B566-BB86C7449E8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a75d42c76d60bc6558e3e0b7ee5604f36faa23d1","datavalue":{"value":{"text":"Papers in honor of the symposium on logical foundations of computer science, `Logic at St. Petersburg', St. Petersburg, Russia, July 12--15, 1994","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815290$4D3286D0-F3A4-4087-B0A5-58479600A33A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9dec5000ea424a421d1a0ad19cd734860c2fcfc","datavalue":{"value":"0851.00041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815290$BDC30DC2-9550-4CF4-AF05-918F0008ABE4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815290$FEFC7840-7E62-4EFE-8D88-24041325DEE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c756d1547f60afca22dd2809969b4b76b8807884","datavalue":{"value":{"time":"+1996-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1815290$1E04FFDD-E73B-4C65-A9E0-AB46A6E85010","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"99d94fcb96b4922701764df17c7515acf0422aef","datavalue":{"value":"The articles of this volume will be reviewed individually.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815290$D4B99144-7D06-4755-AD6C-83107778A1A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815290$780D9D50-CC4B-4239-8A01-8813363E4906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815290$D244DF96-7EF6-41F6-831A-571E015902D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815290$200BD0E6-64FA-461B-B5D2-C49DB38FA98E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9647d726e046aa23e097e9d71cf28a6e5e93b67f","datavalue":{"value":"942911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815290$140AD5A3-6E25-4F83-9226-1CF61D9DAC92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815290$B0D151C0-7C9B-465C-BB9B-733CF7264984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecd804bad7f2c646a77340e73a272e09fc42946b","datavalue":{"value":"St. Petersburg (Russia)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815290$F9E29D85-D817-479C-8E2E-8E0A65B0517B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa78ad5518ca246bcf12a7a95d0f4aea27c592e5","datavalue":{"value":"Computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815290$EA1F1CE3-AF73-4E8F-ABA9-D2ACEAF16749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815290$9A4F4D93-57B2-4448-BC8D-3124E925CFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815290$1EF2808D-4B36-4CC4-B1DF-134E8536E504","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":"Q1815290$D5F8B5AC-3BEA-4EF6-A339-E10DF05CE96D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Papers in honor of the symposium on logical foundations of computer science, `Logic at St. Petersburg', St. Petersburg, Russia, July 12--15, 1994","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Papers_in_honor_of_the_symposium_on_logical_foundations_of_computer_science,_%60Logic_at_St._Petersburg%27,_St._Petersburg,_Russia,_July_12--15,_1994"}}}}}