{"entities":{"Q1306790":{"pageid":1317540,"ns":120,"title":"Item:Q1306790","lastrevid":67350873,"modified":"2026-04-12T17:02:11Z","type":"item","id":"Q1306790","labels":{"en":{"language":"en","value":"Logic colloquium '95. Invited papers on finite model theory from the colloquium held at the Technion, Haifa, Israel, August 9--17, 1995"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1348042"}},"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":"Q1306790$17CE214E-D853-4D44-A64C-30699F51D425","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ad31135b0e12825da3337bc4cad904aee66714c","datavalue":{"value":{"text":"Logic colloquium '95. Invited papers on finite model theory from the colloquium held at the Technion, Haifa, Israel, August 9--17, 1995","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1306790$67198B6F-107F-4B32-8021-F328C6A6FF74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"003c24cbc278b27ef00d39de16cc1735ea2b6c8c","datavalue":{"value":"0929.00035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306790$D3AA3B65-8333-41A1-AF56-3195086E3066","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306790$27FAA7FC-5864-4985-9A72-2919FC32F175","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0132e21ad022268d8d4b41a82438346885545ef","datavalue":{"value":{"time":"+2000-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1306790$3F58C9C2-2B8D-4AB7-BB13-C81F71F0AAE7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8479133829d043396b4f6951311be7b93e51b4db","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding colloquium (1994) has been reviewed (see Zbl 0882.00031). Collections containing additional papers from the 1995 colloquium have been reviewed (see Zbl 0884.00035, Zbl 0875.03004, Zbl 0878.00047, Zbl 0905.00048).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306790$66B0CE0F-D977-404F-957D-658D5E3B3A93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306790$B4946D75-167F-4E6C-A6B4-AFEEFD51CD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306790$45E669B7-77B6-441D-A66A-14262EDDBBBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1838b4026d1a2e1dc157a5c562790375bb6593a6","datavalue":{"value":"1348042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306790$8D41E10C-4494-4F5D-9BBB-2F20776A8626","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306790$053BC2DB-F09C-4288-A934-17CEDBF0E1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85413872e180f82c5b8a578e96e74f0315026938","datavalue":{"value":"Colloquium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306790$BFF0DBC9-BE8A-43CA-81AD-C82D9E8747E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4638ed5b85fe2283e219da732d920fdb8d9380","datavalue":{"value":"Haifa (Israel)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306790$7CF928B9-9297-4E48-961D-FDEF232DD80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2509ce734c1f121f948a7aebecedc1f6d73c34c","datavalue":{"value":"Finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306790$5B3CA00D-3E28-45AE-9526-5E48B7041EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30079201549958701bc79bc36ae8a8054f2abdac","datavalue":{"value":"Special issue","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306790$9B694397-C64E-4841-A9A9-5225F2C41560","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":"Q1306790$AB10BD3E-958E-4C74-BC77-966C877E6D0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9197427f4ccfd8affd825d09f285caee4184e271","datavalue":{"value":"https://doi.org/10.1007/s001530050124","type":"string"},"datatype":"url"},"type":"statement","id":"Q1306790$2404A25F-2CD5-435F-B4B3-6E18FF65E6BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbc4d3a8e149f582cdec65fcb807a166b230473c","datavalue":{"value":"W2158188282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306790$BB76D05A-1270-4CAB-AC30-A218B094AD29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4207c4c005d8444fc92753d3cd3b618a9c74db77","datavalue":{"value":"10.1007/S001530050124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306790$8BED4A7E-B580-4FFA-8F61-57C1DC552456","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8cab2daf02172eecf2a7c109923a976fab5c61e","datavalue":{"value":{"entity-type":"item","numeric-id":1267836,"id":"Q1267836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f183a187bbdd99d76b9151b18c61adfa3103db","datavalue":{"value":{"amount":"+0.9000599980354309","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":"Q1306790$D2CD3C2A-F2B1-41BD-B328-8C820BC2CC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fedc262a9c6822fa2d1e0ebcf82b4c562f39295","datavalue":{"value":{"entity-type":"item","numeric-id":4399939,"id":"Q4399939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f451593217bcb55cdbc99f45847f4c3bbe789afc","datavalue":{"value":{"amount":"+0.8388245105743408","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":"Q1306790$7D28590A-AF43-464B-8904-605D6CAE0AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87192de90e6ac83a4d768c013a719ec36a131606","datavalue":{"value":{"entity-type":"item","numeric-id":4256656,"id":"Q4256656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee592ab4d01311e804cea5b9d5a9202b0fe6aef","datavalue":{"value":{"amount":"+0.8097103834152222","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":"Q1306790$C3BBD67E-1730-432D-9E09-96B01184CED4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic colloquium '95. Invited papers on finite model theory from the colloquium held at the Technion, Haifa, Israel, August 9--17, 1995","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_colloquium_%2795._Invited_papers_on_finite_model_theory_from_the_colloquium_held_at_the_Technion,_Haifa,_Israel,_August_9--17,_1995"}}}}}