{"entities":{"Q5387302":{"pageid":7416876,"ns":120,"title":"Item:Q5387302","lastrevid":50353199,"modified":"2026-01-13T21:20:32Z","type":"item","id":"Q5387302","labels":{"en":{"language":"en","value":"Omitting types for finite variable fragments and complete representations of algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5273196"}},"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":"Q5387302$1A6F81B2-BE44-4F8B-AF3A-8EE4A939A28D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56d76ea6e93b494213a6f71096eafe40cc7ed3c7","datavalue":{"value":{"text":"Omitting types for finite variable fragments and complete representations of algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387302$D86742F9-B93B-439E-909F-6F8FFE28FBC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82dcbbaeb13c5aaf942d250764563012b57fe9d9","datavalue":{"value":"1143.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387302$3F61D1C9-A025-44D5-956E-2F60898D253D","rank":"normal"}],"P16":[{"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":"Q5387302$3B7DF76A-590B-40C9-B9E4-135E8D14FC53","rank":"normal"},{"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":"Q5387302$27C78D91-9F5C-4A46-BD53-E4B928A86215","rank":"normal"},{"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":"Q5387302$55DCC99B-AF2F-47E3-BFB4-5C25764DA7A2","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":"Q5387302$08231619-1A69-4143-AFC5-09FA3656F4D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5eaa08c8f42b6fea4c0be6959dc42d24f90291ef","datavalue":{"value":{"time":"+2008-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387302$424CA98A-665D-4066-AD2C-F2447CE11765","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ffb9b48f4a915057bf20a7589e035dc6d5565d8","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1208358743","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387302$57C03FD9-F922-485C-93E6-648ACA342DD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387302$D5D6F3B6-26E7-453D-8E6E-DAD454DC7510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387302$6D17267D-FBDB-4A4E-B42E-21CD223FA6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387302$3D3F62E2-F9CB-4BEE-8120-A09D6877F6F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ad230dacbbbc8d2688a192441c87179b32f3728","datavalue":{"value":"5273196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387302$048FE567-470B-412D-9FA4-0FCAD019C655","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b0b33b22999a117d3af752d5ea586315f1c217c","datavalue":{"value":"complete representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387302$82F05BDA-CB26-47FE-8293-B69551604C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ebd5d77adcb47c9288cee42bec7e3c9d6fdb1aa","datavalue":{"value":"cylindric algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387302$58DE56B1-C7F7-4395-861E-6DD97FF76AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfcfa654c5489cad86e0c9a7119e5456f3d49052","datavalue":{"value":"finite-variable fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387302$FAAA80F0-2031-485D-A86C-086D429B76AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387302$9EFC5B88-AE46-4C9E-9FA8-EB6D77244A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a24df7a4b46ec1c22b9d20de6c792ddabeef0f6","datavalue":{"value":"omitting types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387302$6C6860FB-1EF4-4D47-B178-26B18C316738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387302$2DA6BA12-2F82-44E9-8295-F88D00CB2F0A","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":"Q5387302$E6B4D987-44AD-4FB8-9B30-ABF276F54501","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1cdd459a408911761bfcb099d2eb2cfd0ae3348","datavalue":{"value":"W2031667755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387302$D1C9447E-0E20-4BBA-94F8-AE17EC802444","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70fbe870349d0bea4d745a4a730874bf2f026e83","datavalue":{"value":{"entity-type":"item","numeric-id":1863832,"id":"Q1863832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$925D686D-3BCD-485A-A983-CE0E56618923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$FFF7F101-63F5-4C1D-A59F-255C40E7738A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4be3140aee2c14de18e929e0d34bc5fa03e30ff9","datavalue":{"value":{"entity-type":"item","numeric-id":5948369,"id":"Q5948369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$793F5964-985C-42F0-A78A-4A501B9995C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9811b805b2ac4af6178e0447c73f8b3b4c04d4c","datavalue":{"value":{"entity-type":"item","numeric-id":4357323,"id":"Q4357323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$D2114337-701A-4CFB-B498-28C19BD8B3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e897e186ca69d57b331468f16b0b5f83082850","datavalue":{"value":{"entity-type":"item","numeric-id":5572316,"id":"Q5572316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$214D36A1-F165-4DEE-A634-2F93D85C9369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c946612803736ea47046b930b29ccf5dece4cce","datavalue":{"value":{"entity-type":"item","numeric-id":873743,"id":"Q873743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$73BFCC93-7D1D-4D5F-9097-960E2BD4B5CD","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":"Q5387302$FB07B8C1-DD1A-4D88-B9BF-1E174E071761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c2b7b60fbc2ec48a0d9604e7a0eb99a9173a2d","datavalue":{"value":{"entity-type":"item","numeric-id":1377624,"id":"Q1377624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$136CF8C1-4A60-453B-931C-9C8A18097C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7db6a6266e4ee04ac9dc932d630169cc6bc7d11","datavalue":{"value":{"entity-type":"item","numeric-id":4532609,"id":"Q4532609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$EB2853A2-3994-4C2F-9968-2A6A25B132A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55377d3d5051fb6febc1388df9b8119e8fcc8ee4","datavalue":{"value":{"entity-type":"item","numeric-id":2781354,"id":"Q2781354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$23D8C3B6-63D7-45B2-88AE-858A1A67840A","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":"Q5387302$53803F20-0553-43A8-A9AF-8A041837DDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1308849decc3fa35b7eb1adef8d8145645005d82","datavalue":{"value":{"entity-type":"item","numeric-id":5956890,"id":"Q5956890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$8557B49E-FC50-463A-B4D1-4DF1EDD3623D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203795f7e0cbf5ac001928b88736c33d61c42c43","datavalue":{"value":{"entity-type":"item","numeric-id":5956889,"id":"Q5956889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$80C020BA-BFD5-495B-93DC-11DC150FED09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f464bd83d76ad46f861be39216b7715bd765f61c","datavalue":{"value":{"entity-type":"item","numeric-id":4372908,"id":"Q4372908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$1869247E-2E47-4A45-B6ED-34F9B2E5B3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1f7328db6a3235567db8b62cd651a29430182b4","datavalue":{"value":{"entity-type":"item","numeric-id":997116,"id":"Q997116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$4B9CD6A8-EA35-4879-ACD4-7F06D5CFA382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b40f9c9601fd5885efb556e2dd6a8ec97375767","datavalue":{"value":{"entity-type":"item","numeric-id":5954709,"id":"Q5954709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$55EA4170-4BB1-4982-9C35-89EC0D06C98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6dad23b6157fc3d98392e791d7fd61dd5ac299","datavalue":{"value":{"entity-type":"item","numeric-id":5850527,"id":"Q5850527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$15449ABB-E1DD-4A7A-8728-6629FB56DFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76fc900f83be850842bc83cb37aca22a4be511f7","datavalue":{"value":{"entity-type":"item","numeric-id":5472642,"id":"Q5472642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$F4313406-857A-4AE7-8880-AFBE120B0905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbec72237bc001d58e292092a259a7ce6c296eff","datavalue":{"value":{"entity-type":"item","numeric-id":4264532,"id":"Q4264532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$861C4D2A-5655-4A60-A501-A1330A42AF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$ECA70782-DC42-4DDF-95C8-3D461905C324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c8a3904febd5fa7ee8299651393f2c909563e1","datavalue":{"value":{"entity-type":"item","numeric-id":558739,"id":"Q558739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$CABF8045-5240-4544-B69B-04AD1C89D1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c7925c1f9119dea463a32bd6fe6c515fff5330e","datavalue":{"value":{"entity-type":"item","numeric-id":4511602,"id":"Q4511602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387302$01A62581-F185-4D04-8AFC-0006B094845B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2efb7d17fd1d9a138a2730fdd3a3c9aa52891ec","datavalue":{"value":"10.2178/JSL/1208358743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387302$745B83D2-3FB6-4AB3-9DFA-565381966BED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc49419ce7345a5ebad029e4a597a096be59487e","datavalue":{"value":{"entity-type":"item","numeric-id":3433178,"id":"Q3433178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a39fa428e9c1ddbdabb50bb8f36c3fd5722b0d5e","datavalue":{"value":{"amount":"+0.930228054523468","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":"Q5387302$CD869D8B-D799-428D-8A5B-2A2D14AA5A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24012daea4ccaf3e31637eff8c90a71c706b5f4f","datavalue":{"value":{"entity-type":"item","numeric-id":4558130,"id":"Q4558130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a97ba6acd0d3087a6df635936c94d1c8a1377210","datavalue":{"value":{"amount":"+0.863819420337677","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":"Q5387302$20813154-8231-45A9-BEAC-F68DFA70D7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40c80abaf2c45efc2e5c7c7c5485329419ed65d7","datavalue":{"value":{"entity-type":"item","numeric-id":1863833,"id":"Q1863833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f1715b80b3480c74b7f2e806e01502d6b6bb128","datavalue":{"value":{"amount":"+0.8553693890571594","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":"Q5387302$E501E174-3CEF-452A-9352-24FBEC7E791A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64df11251b31fa5b794454366aa0caf52a9f4f73","datavalue":{"value":{"entity-type":"item","numeric-id":3091417,"id":"Q3091417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac2527ca51786d3654501faf9c65e67490e6807","datavalue":{"value":{"amount":"+0.8553227782249451","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":"Q5387302$83C9D24E-1EC9-45A7-9699-67AE0EC60836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc32e77793646faf6d5a517a017d1d13d50650a","datavalue":{"value":{"entity-type":"item","numeric-id":1981982,"id":"Q1981982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"787888843ad6aca1ebf3c15f907fb6d9af72ebe2","datavalue":{"value":{"amount":"+0.8458177447319031","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":"Q5387302$525E3C22-453F-4DC5-BB47-25E07AB95BC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387302"}}}}}