{"entities":{"Q3442401":{"pageid":5135141,"ns":120,"title":"Item:Q3442401","lastrevid":88233110,"modified":"2026-06-04T13:59:16Z","type":"item","id":"Q3442401","labels":{"en":{"language":"en","value":"A Neat Embedding Theorem for Expansions of Cylindric Algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5154945"}},"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":"Q3442401$3C217EAC-9C85-47F9-B03F-058DA9EDF105","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8438189d231ef03983cdc524b3a9340746e8efdf","datavalue":{"value":{"text":"A Neat Embedding Theorem for Expansions of Cylindric Algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3442401$17208790-2BCD-44A2-A188-E7115D62E136","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a15faf7df7dd021d7d2fca3c6557e5b903be5c82","datavalue":{"value":"1119.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3442401$CDC8E884-2EE9-4218-A207-C2DE52F52810","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6651d4e4947d930a461f076a4ae17f7da77e1b31","datavalue":{"value":{"entity-type":"item","numeric-id":227768,"id":"Q227768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3442401$81A7777A-3D89-4AB0-9D43-1A5B1D2B0DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"070aaeacac9dec88f2a8878713c9050d82a53c59","datavalue":{"value":{"entity-type":"item","numeric-id":2793176,"id":"Q2793176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3442401$EFEB7A01-8196-4638-8A38-0C98F6A51FEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c725dc3f4529c18502bb8414e9ec0be6c9a9a952","datavalue":{"value":{"time":"+2007-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3442401$05C098B3-8AB5-40C6-96EF-8CABF1B1F494","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3442401$D0A1BB2F-947F-42D6-BA67-700AB1CE976C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bccb0c37c30fe7721e7f27c8dc1dbab50e19cdd","datavalue":{"value":"5154945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3442401$69CB3C6C-9588-46BE-88BE-B027DC6D82B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e522e3d53ad5525dc0151bfa5b83dc55a0e70d90","datavalue":{"value":"cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3442401$6D53C832-42CF-4ED3-AE63-DAC6EC5704B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aac3bc9b57e260f8c40227dd81576fe608485f81","datavalue":{"value":"neat embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3442401$B0949CA7-D1FD-4C9C-8D39-6BE65984DA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c630d9596a8df8e541d240569385d39c1464575","datavalue":{"value":"non-finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3442401$E21DADAE-4820-44AA-B7D2-F9223A259CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54b6df5f0628124589d78640958147af2131eb59","datavalue":{"value":"finitization problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3442401$5D4A9648-E05F-4716-BCD0-65D55D4F5D41","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":"Q3442401$F47EB694-F710-4A12-8F1B-F0DB43224134","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b9731bea5e35a564aa2981fd1c980e0a65d0351","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzl032","type":"string"},"datatype":"url"},"type":"statement","id":"Q3442401$AD80EC50-93E0-4E77-9949-398B8D5EB856","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ccccfbb994f425b02807e486ef074e11f97b7ba","datavalue":{"value":"W2079076596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3442401$19B49A89-AFC2-4605-91B7-A1B02B3C01D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b80f9513b1d8623bcba10509a5386806d018a22","datavalue":{"value":"10.1093/JIGPAL/JZL032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3442401$ACA7D1A4-3CED-48DD-89B2-DE4DA2E9780D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d8bc19689224c70fb54d4ac92a5dd217ed24418","datavalue":{"value":{"entity-type":"item","numeric-id":5460173,"id":"Q5460173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfaba98ea5be7d756d3dda19145a006059e19d6f","datavalue":{"value":{"amount":"+0.79429615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3442401$68A3FC23-B719-4D76-8836-518B6A50B15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d1ea9facbf02a158db31767438d7113b05348a","datavalue":{"value":{"entity-type":"item","numeric-id":4032865,"id":"Q4032865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d59f6b0d791df136f27b0ffaedda820aa82bd2bd","datavalue":{"value":{"amount":"+0.7800498","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3442401$EE227738-5E89-40E4-B087-8F3458E7B335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc56002e2932d637a3c0941ad474153d6071453a","datavalue":{"value":{"entity-type":"item","numeric-id":4532609,"id":"Q4532609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c23eb058a19240e1b7f3373b66d776c1d4bfc7e","datavalue":{"value":{"amount":"+0.7652191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3442401$D6A5358C-152E-404A-BD6E-084E809B0A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"135c4a8bcb273c83085f0b2f78d18810da7f60ea","datavalue":{"value":{"entity-type":"item","numeric-id":4273424,"id":"Q4273424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3536cc7d3c205f18fee1d8af8cc320263d4645eb","datavalue":{"value":{"amount":"+0.76238227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3442401$F2AD7583-F453-4553-8D64-A48DEC35BD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2649fc2d6c148221c774e5354997f8a5d3ab625","datavalue":{"value":{"entity-type":"item","numeric-id":4357323,"id":"Q4357323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a8b51edea49d0f8a19168294392d1261e164a7","datavalue":{"value":{"amount":"+0.75343025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3442401$4739D6C2-5C25-4858-B8A5-80A3DED062EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b32bdb7d35f672690a1b9b5518703c1ed4d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":558739,"id":"Q558739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dfbbdc468a0db584a1994b3b9b599ad365e2f54","datavalue":{"value":{"amount":"+0.7514491","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3442401$3A9B1D03-7A15-4F18-AB06-294076838DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95a2e5242a0876b10aaeeed557477cfdc098cf7","datavalue":{"value":{"entity-type":"item","numeric-id":1991591,"id":"Q1991591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e62fcc99b7d8b0226b96a36c852fd83e7480bb4","datavalue":{"value":{"amount":"+0.7463715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3442401$F435AB1C-1226-43C9-958B-8EDDA1AC219F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c15a5b5a0652c56f5e4e865dc1fcce59a1ff6072","datavalue":{"value":{"entity-type":"item","numeric-id":4890394,"id":"Q4890394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff327e5af983a8ecdfc376e3f6a1a9b833f31966","datavalue":{"value":{"amount":"+0.741974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3442401$4A5EDFCD-57C1-42C9-8567-D2E06B24D5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e9b41138b3ad5391dfba7c05c7c3faf2b5a31f","datavalue":{"value":{"entity-type":"item","numeric-id":4390777,"id":"Q4390777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"549ca7316e0617747d89bb00d1496cd05440139a","datavalue":{"value":{"amount":"+0.73754054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3442401$5688297F-2D68-465E-BDD7-46D1C68A03B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b9394e673609e918af91c5bd6b50576d43bd28b","datavalue":{"value":{"entity-type":"item","numeric-id":2889954,"id":"Q2889954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1bc17b937bed94bc3ed4d32b955750f38e84c42","datavalue":{"value":{"amount":"+0.73257476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3442401$43AEA11B-C670-4FE1-BAEE-95A51D7D3ED5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3442401$C10C3441-3B00-48D1-B4FE-5CFBF9E019A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Neat Embedding Theorem for Expansions of Cylindric Algebras","badges":[]}}}}}