{"entities":{"Q1572773":{"pageid":1583513,"ns":120,"title":"Item:Q1572773","lastrevid":70736229,"modified":"2026-04-13T16:24:53Z","type":"item","id":"Q1572773","labels":{"en":{"language":"en","value":"Logic in computer science. Selected papers from the 1990 IEEE symposium"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1483072"}},"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":"Q1572773$BFAB138E-54AF-4132-BC0D-0D997929F16F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5bdd054ae6026ef2f6ce93a2572560f32e58df0","datavalue":{"value":{"text":"Logic in computer science. Selected papers from the 1990 IEEE symposium","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1572773$650C9D48-072A-4D37-81FA-81112097C698","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c88a8e3874c6a065c25d1eb06fad5bb52ee1825","datavalue":{"value":"0941.00027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572773$44C9C298-E299-4D46-BE2C-DBA8CF8979FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1572773$5B24DB9E-3EAB-4F02-BC90-73AC3B2D3AD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31dc98a3522cea06def52b76cde8003aebdf2e71","datavalue":{"value":{"time":"+2000-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1572773$BCA7B8ED-CF96-4F22-A03D-6B2B599239A0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1b0080597ff6dae6eac8914a38c2365e1043356b","datavalue":{"value":"The articles of this volume will be reviewed individually. The 13th symposium 1998 has been indicated (see Zbl 0925.03012).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572773$0BC67520-9FDC-41C8-A03A-7D9FC3E405AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572773$0BE1F89D-82CE-4F23-A166-3199754AAC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572773$6BF06ED4-CBD4-4AB8-8531-8561D371AEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572773$5472F8F5-D609-4241-9EAA-0853A0989326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572773$913D149A-7D8B-4C62-A633-5E6E19B9F83E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea39def288b4264c131bb1335d59356b1cf00c17","datavalue":{"value":"1483072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572773$7B41C60C-1AD0-4F6A-AA27-AF8094CB4F01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572773$68949087-5AB6-42E6-9076-11DB65B485BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa78ad5518ca246bcf12a7a95d0f4aea27c592e5","datavalue":{"value":"Computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572773$E6FB0748-583A-4DB6-AB30-DFF90F0ECE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572773$64944318-1631-44ED-BA53-952DDAD80984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83ced091c30b2b8f7668732432274df2b1955282","datavalue":{"value":"IEEE symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572773$B0D55FEE-003F-4F88-8003-B5DA36A8F7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30079201549958701bc79bc36ae8a8054f2abdac","datavalue":{"value":"Special issue","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572773$BB8BB13B-E2D9-42D9-8F1C-CD93211BE35F","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":"Q1572773$8781FC2E-24EE-4DE5-A150-345C2A964052","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic in computer science. Selected papers from the 1990 IEEE symposium","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_in_computer_science._Selected_papers_from_the_1990_IEEE_symposium"}}}}}