{"entities":{"Q1991592":{"pageid":2002334,"ns":120,"title":"Item:Q1991592","lastrevid":57645027,"modified":"2026-03-31T18:46:08Z","type":"item","id":"Q1991592","labels":{"en":{"language":"en","value":"Term algebras of elementarily equivalent atom structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6968520"}},"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":"Q1991592$A5E053C5-AAD6-4082-8EA3-08F88D25E9FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5201a89dc5eb302e5638358e23972d9f6f716a94","datavalue":{"value":{"text":"Term algebras of elementarily equivalent atom structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1991592$F87ECB74-07E5-4908-8BEF-D4674FB64EC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0141b4ec36666d777bac370619093437fe911e5b","datavalue":{"value":"1472.06018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991592$06781C29-B2CF-4EDE-8D9C-5DC9BFC67A11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991592$8F5C947B-73CC-4FC7-ABE7-980C8770AE25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27fd87f869460ae6f756080c20fd059bca7dbd30","datavalue":{"value":{"time":"+2018-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1991592$B29EC8C2-03AD-43AF-98BA-FDC6FC1BB764","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8077032b9d804b66f9400f75182ee1d534aa2a11","datavalue":{"value":"https://arxiv.org/abs/1803.11038","type":"string"},"datatype":"url"},"type":"statement","id":"Q1991592$0B4FEF18-8B75-4516-AA8B-7E5C01120FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7af9eb2f288adfccf6dc0b376e71368321d2a6f","datavalue":{"value":"http://real.mtak.hu/89560/1/1803.11038v1.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1991592$A4298493-FFEA-4B34-AECE-C52FEA10482E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991592$0E8B74AA-C9B1-43C8-9C8D-1E0AF1028A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991592$16540782-3E9B-4E25-901D-D0E358B620C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991592$90503BA6-0B73-4B16-AECA-5F9B25529881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991592$607B0F86-6A29-45B9-A6EF-716E9C06BF2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cbe89272b71b7ff817b9e30e8c11c7e71699b0e","datavalue":{"value":"6968520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991592$191AADD7-4B7D-44C3-BAE6-54984247FCE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90868494d3845bdd4ae18803712211188ae570f4","datavalue":{"value":"atom structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1991592$E215B5E7-782E-4874-BC06-AE96613400BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aed5d325a9629ab7e64bb14b6f4c52f44b60d0d","datavalue":{"value":"complex algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1991592$7C02398D-6244-495D-9515-0C512C53340A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1991592$10BDB785-BF51-4F22-BD35-EAC8F88F4178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1346da776f0551fb601ebc6e6f04cd0a01d6c33","datavalue":{"value":"completely representable relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1991592$EE07090B-F43D-480E-B3FC-F3B62214D0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9945c4f9099acf0e910a599fc6e00b4fdf2067a8","datavalue":{"value":"Boolean algebra with operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1991592$DC4271EC-3C66-4624-9027-149A6FE043B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c4226e8e86e1e1f02cc5ead167f218ce71434","datavalue":{"value":"Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1991592$7C5A8B6E-C5CC-43BB-A1CE-C151818C29EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1991592$79432F72-E1DE-4F6B-8F2C-13ED46C0EDA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"097dc9470c2945b47145802a7f80950df654abb7","datavalue":{"value":{"entity-type":"item","numeric-id":787977,"id":"Q787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991592$7C9E1C7D-346B-40D3-BFF2-A08C8F1FEDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"857c2c80c4cd84e545d0cc0f92387a21b7c9d079","datavalue":{"value":{"entity-type":"item","numeric-id":227769,"id":"Q227769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991592$C33B6280-2CBF-474E-B390-8E31CD9BB309","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":"Q1991592$EF93667E-8DFE-4D6A-8346-0CAC5D780DA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8bf181f7ff1d856fc58200582e85d3f537b050c","datavalue":{"value":"W2963577380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991592$802E2E31-EA3C-42DA-BF54-B5F69A0C23A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ebc558a69d387fb7dad5552808a55a991d41c2","datavalue":{"value":{"entity-type":"item","numeric-id":5752572,"id":"Q5752572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991592$2E094483-4554-448E-AA47-E4CB790DEC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7c7cb0135d8c5bc9f0495f402f3cdecaefce307","datavalue":{"value":{"entity-type":"item","numeric-id":2853708,"id":"Q2853708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991592$592B43EF-6EED-4C44-B89C-BAC3F7C3F035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed66fea9a8b633d7d5ae0af2d24d49e47190b4ca","datavalue":{"value":{"entity-type":"item","numeric-id":5364874,"id":"Q5364874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991592$18C4957E-D3B2-47EA-AD85-0236320DC5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991592$297DC3FB-1E82-4482-B258-B0FEBBEFBA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6acc5fd30b5fd39f7c7593bfdba57e2a920d202","datavalue":{"value":{"entity-type":"item","numeric-id":700879,"id":"Q700879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991592$F9E73BE2-1A32-46A4-9025-1DFE95C67C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991592$FC1962CD-B0E7-4BD5-A431-6F2E6FA53C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991592$C04C3D21-7955-42CD-953C-21BC6A862140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1f3780260302945db0add04411654a1503c3a4","datavalue":{"value":{"entity-type":"item","numeric-id":3661577,"id":"Q3661577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991592$37A9BD8C-1FC8-42C4-8048-DC38106F889F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ac0741082eee268d8fb2391d4dc966a1c3f9e9","datavalue":{"value":{"entity-type":"item","numeric-id":868510,"id":"Q868510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991592$9CBC6C6E-38C6-4ED6-B36C-E335B538C7F0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e484d4c99306ef37f6bdbfc6f1d04561c7a55ad8","datavalue":{"value":"Q129480707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991592$BF5EE942-3B26-4531-B8F9-83E27517C7D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8065a17d0f8d7d967ee2b8bc4c5f926d019c6f00","datavalue":{"value":"10.1007/S00012-018-0540-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991592$0AFAFFE0-555B-4C95-B7B7-9DB63DCB9F37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522b2aa71bfc31f2d88f0a8453bbbad81f21ef4f","datavalue":{"value":{"entity-type":"item","numeric-id":4293503,"id":"Q4293503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e692d26f1a3b67318ad6530999336789a0eb2470","datavalue":{"value":{"amount":"+0.749173104763031","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":"Q1991592$82197146-B09F-4919-8F40-DC394CD509A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d277db5d622ced872a33c4584dd9e0c5a7f76183","datavalue":{"value":{"entity-type":"item","numeric-id":2781354,"id":"Q2781354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0e094b96de624cd1ce587b36303034a77614781","datavalue":{"value":{"amount":"+0.7486697435379028","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":"Q1991592$9B3CCF51-F85E-4AB4-BA39-EF6B71BF817D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b85070a936e0abec3c66f196bd584ead8f7870","datavalue":{"value":{"entity-type":"item","numeric-id":1377624,"id":"Q1377624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d287540d709e3ca0e353a46bb576bfdbf475135a","datavalue":{"value":{"amount":"+0.7387152910232544","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":"Q1991592$C8ED0284-F2C1-4170-8A7E-B6ECD24F71FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698e53a2f5f4defa9bd96e87f25b7875c926a153","datavalue":{"value":{"entity-type":"item","numeric-id":4215609,"id":"Q4215609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"011e7f4a5f22198cf1fcad040b13b804637b01f1","datavalue":{"value":{"amount":"+0.7387151122093201","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":"Q1991592$40389E19-C3FD-40FA-B73B-3036D80522FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d85bd0b13f18fc7a8cd0f2297935675c664f072","datavalue":{"value":{"entity-type":"item","numeric-id":5411422,"id":"Q5411422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d5b88ae980db57031275950b05f7df6a294c3e9","datavalue":{"value":{"amount":"+0.7384037375450134","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":"Q1991592$49A7F7C8-0B9B-442D-8327-7D1B1D75691A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1991592","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1991592"}}}}}