{"entities":{"Q3484831":{"pageid":5514731,"ns":120,"title":"Item:Q3484831","lastrevid":49399690,"modified":"2026-01-07T02:31:37Z","type":"item","id":"Q3484831","labels":{"en":{"language":"en","value":"Cylindric algebras with terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4156433"}},"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":"Q3484831$F8F093CF-C060-4239-A748-30060778B474","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9b156048dcf78731c0fa4d650d25b7396de8825","datavalue":{"value":{"text":"Cylindric algebras with terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3484831$E96EA5C0-F40D-4FD9-8560-5021D393DB12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc093568ef976caab7803cb9402100300e593a24","datavalue":{"value":"0705.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3484831$E3C78485-7590-49B0-BF86-BFA754042792","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bad3e55aa6125ab133fce2437946445a020cfa47","datavalue":{"value":"10.2307/2274669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3484831$1F5FCBCA-3AB9-4F64-A5AB-DD322E178F21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cacb9e8ab23015ed8009800e82b770e16b7161c","datavalue":{"value":{"entity-type":"item","numeric-id":3484830,"id":"Q3484830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3484831$1A79598D-979C-48B7-9235-EE086E4C31AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3484831$27A31A3A-E05C-48D2-9BBC-6C520FA38BCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3484831$252A7FCA-AE93-439E-AA26-DF9C904B558D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3484831$29FCA199-BE56-4740-B7B8-8F32360518D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"485214881bcf6168f1bdaa5aedbe1353b5d800b5","datavalue":{"value":"4156433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3484831$A37A8DE2-BD24-4F3E-AE31-492BC7AF46AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e522e3d53ad5525dc0151bfa5b83dc55a0e70d90","datavalue":{"value":"cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3484831$ED21066F-DFCF-463A-8BE2-4977498EBD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a7e5b187b4af54757020c5d24b7c4017642710","datavalue":{"value":"two-sorted algebraic version of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3484831$ECBD207B-7E25-40DC-B068-89A2A7750EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe4d88826cd945ab155c70e58197cf9102c8b09c","datavalue":{"value":"substitution operations on terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3484831$9DCB7E31-9475-41EB-AEBD-BC1102148404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b9dc8ad3d716500945f24344bc628ac3e6598e","datavalue":{"value":"representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3484831$0C28BA0A-40F8-4EA0-9632-EB4A6FA38F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0518227c5edce6e4b3f33fb93eee6a94f89857be","datavalue":{"value":"locally finite algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3484831$AAB59833-8F47-4173-A530-AB1808531803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"799454cfd4d07bb5ddea8d982443d7ed9e24cf87","datavalue":{"value":"algebras with Skolem functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3484831$AB19A0CC-5793-4700-8E0C-A574133C1F17","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":"Q3484831$4EA48404-B7AE-492D-BEE5-1E584E3D1D8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de618b4cdc3c2861dc142f7ea46958f977605dbd","datavalue":{"value":"https://doi.org/10.2307/2274669","type":"string"},"datatype":"url"},"type":"statement","id":"Q3484831$5FB5ED8C-A7EC-4C95-B9BE-FF5EB7B95CB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c946367888798cd0714bc0e6500f33c60652c032","datavalue":{"value":"W2109655891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3484831$F75FB1EA-FF8C-43CE-AC6A-ED3CAE63260D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0a40ceae58d2c41b0ff7844fd5d90e672cebad1","datavalue":{"value":{"entity-type":"item","numeric-id":4011712,"id":"Q4011712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f8b72566f89a27738b6a1dfc0a5c6a8f2aac6fb","datavalue":{"value":{"amount":"+0.8528021574020386","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":"Q3484831$46463FD6-29EC-4E0D-9AA6-84A6F56E4375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54ddec7ca28c5723977ada11ebdbce68b74f7990","datavalue":{"value":{"entity-type":"item","numeric-id":4329278,"id":"Q4329278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0ca728c6b05ee5a640cb607f5be84d2b4b9347","datavalue":{"value":{"amount":"+0.8509127497673035","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":"Q3484831$022D8D85-76B6-492D-93A9-BB124E1F48CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52a451f17a851bda523ae64c453792504acdac92","datavalue":{"value":{"entity-type":"item","numeric-id":861612,"id":"Q861612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be3ade54a49398514c1784da1fdbf0c7a2f3eca","datavalue":{"value":{"amount":"+0.7625587582588196","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":"Q3484831$F3A4BE1F-F565-460B-9431-5F2F233DEA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e31d3326ebac447da99ce5d668322f7bf68c174","datavalue":{"value":{"entity-type":"item","numeric-id":1189899,"id":"Q1189899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53263aa7c1a45a0eb1cf5eaaafe2a74eb5987be3","datavalue":{"value":{"amount":"+0.7575803995132446","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":"Q3484831$2C1F2D36-05B4-4CF9-8D48-EDC40D3B2B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e90dfd1fe59ad3b986b2ff90aefd319d2173ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4273436,"id":"Q4273436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53263aa7c1a45a0eb1cf5eaaafe2a74eb5987be3","datavalue":{"value":{"amount":"+0.7575803995132446","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":"Q3484831$E050C3A1-DA3E-4CC2-8C24-315BAB394E30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3484831","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3484831"}}}}}