{"entities":{"Q4312342":{"pageid":6341943,"ns":120,"title":"Item:Q4312342","lastrevid":47278972,"modified":"2026-01-01T05:26:49Z","type":"item","id":"Q4312342","labels":{"en":{"language":"en","value":"A note on definability in equational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 683193"}},"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":"Q4312342$919B7ED6-6629-4363-B0DA-A960829E9FF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aba48338e33788184c607bfe05adc6f02b1482dc","datavalue":{"value":{"text":"A note on definability in equational logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4312342$3BBA56FF-59BA-4D31-B80E-8D1E3DD45442","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b1634e31a04c51ee1ef2bed409f062dfb8fb840","datavalue":{"value":"0812.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4312342$5991C697-B239-4744-ABE0-16592A292D42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45632ebf3d0f926ad4c62328764a053d91b6d1b0","datavalue":{"value":"10.1080/01445349408837231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4312342$DA2CFA06-319F-463C-83CD-D99188524624","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17af3acb8fbbf15cacab125c0d45264f400b5a22","datavalue":{"value":{"entity-type":"item","numeric-id":2757958,"id":"Q2757958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4312342$DA665E1F-6958-4A99-9F10-A0C3B55D4156","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d7b3792c6f1d919d9d108f6161dcb3e3ccde785","datavalue":{"value":{"time":"+1994-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4312342$95F50741-10C7-4CE6-A5FA-ED6959D9B03C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4312342$DFF47714-9269-4C88-9DC1-DAD88C8C62A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4312342$BAAD53AA-44AA-4585-9B24-655EBBD92BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4312342$5127C09F-4915-4D8C-9DD5-DC7BF2170E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4312342$02D94D57-4B7F-4B2B-B6A3-9AE4C0E24EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4312342$7B4A892C-058C-454D-84EE-A6689D847DB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcfba2b1d6c6f3e72e18b680df1735aa1ccd849e","datavalue":{"value":"683193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4312342$B43414F8-36AC-4A1F-98AD-824F7F4E8A4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95bbc27298cc75237fbf7e8f3c600f1fd949ea0c","datavalue":{"value":"model extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4312342$086B880B-B592-47EE-9968-CC21059FCEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df22239041b8a2a2b31a96e1dc61737317cb2bab","datavalue":{"value":"deducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4312342$35E64EC0-BF98-4A8F-8D3A-7D58A56B5827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e22bb7984603b39d066247461741507e1db9830","datavalue":{"value":"logical consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4312342$DF6180BB-AE1C-434B-BB86-5B33121B6A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c392bedebe85b5c345d7e053fa6c5629191acd5","datavalue":{"value":"equational consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4312342$8557381D-8A5C-4300-92F9-9A0D2926034C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aecd33199f5f05eb3b01b8d604bcbea14f9bc83","datavalue":{"value":"definability of an \\(n\\)-ary functional constant","type":"string"},"datatype":"string"},"type":"statement","id":"Q4312342$340602A6-6F02-4022-9429-C4A7CD74A45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55bc5680dfee3e99d943a4cb4db7a7cbbf9265fa","datavalue":{"value":"Equational Definability Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4312342$E6F899D0-9D39-4179-9E1B-51C8241668F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4312342$2A647813-13B3-47B6-B850-312DEA383E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9325f3f5aa1843b2e45b6c90b0c1b3699cc35d92","datavalue":{"value":"equational synonymy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4312342$FF27E607-40A3-493D-91BC-A6135849BE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1cb5f97bd854cf6cfc9c606dfb361e50b51b136","datavalue":{"value":"history of equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4312342$549DFCD1-9342-4240-BE8F-73888072B3E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fb22934de46582f1d34874e34f371e1c38ac742","datavalue":{"value":{"entity-type":"item","numeric-id":1327487,"id":"Q1327487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4312342$BF39AF00-E94F-4466-96A1-0C7CA9ADB319","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":"Q4312342$75CFFF9F-DF46-4F2E-93AB-7C8F24882307","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7a7045aaf7b14029ad149ed9401aae1b6e8f6f3","datavalue":{"value":"https://doi.org/10.1080/01445349408837231","type":"string"},"datatype":"url"},"type":"statement","id":"Q4312342$7D12A0A9-5245-4600-AA29-621188EB7DE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e217fbabcd0ecc0c539910a33fc8a0916e04af2","datavalue":{"value":"W2072882694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4312342$5970655F-2527-422D-BB74-601168CD202C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"77726cc84c1c7ff91b497b25331bb534bae11fe2","datavalue":{"value":"Q58531057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4312342$AA686408-3637-4C8A-8EDA-198DA48AE31C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2762e57082abbc7c51de5b0f6c1cb3df0575c4ff","datavalue":{"value":{"entity-type":"item","numeric-id":5638302,"id":"Q5638302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4312342$A8CC70B9-A0B6-4D61-BFE1-8344CBD7E73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54bb23df381e43e38f771298bddf52d89b4a07a0","datavalue":{"value":{"entity-type":"item","numeric-id":5606571,"id":"Q5606571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4312342$84802D60-6672-4071-B78C-DD8C4C765AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd53e41942fb4824b937837778272931f8bf950f","datavalue":{"value":{"entity-type":"item","numeric-id":4733856,"id":"Q4733856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4312342$41CECB36-8347-4AD7-A0BD-01EE853DA32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e58ddf39df0939065529d7b7b9d6f3aac9ba8d45","datavalue":{"value":{"entity-type":"item","numeric-id":4154535,"id":"Q4154535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4312342$6BC58310-8E7E-4DE6-9C25-A14E10A0467C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9615295749feb0aa6141d1930df323c9874eb4a","datavalue":{"value":{"entity-type":"item","numeric-id":5540459,"id":"Q5540459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4312342$172FA813-9F76-4240-82B9-9AEAACCFF8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde2f29c14f9aa45b09af6196804d816ba249a17","datavalue":{"value":{"entity-type":"item","numeric-id":4312342,"id":"Q4312342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4312342$3B2E0BDA-7B5B-4E78-9696-D75F136EF914","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45e0626ad621832850e5d217bae1fe537e13df7a","datavalue":{"value":{"entity-type":"item","numeric-id":3835445,"id":"Q3835445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47927ec536363fc0a4146d4a419c050cab72a3c","datavalue":{"value":{"amount":"+0.7667642831802368","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":"Q4312342$2B3DFA51-A9B6-4DFF-A376-E078BB8838C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc91298d5a2e8f97e0f044e8f314a958647b58d","datavalue":{"value":{"entity-type":"item","numeric-id":2710602,"id":"Q2710602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8931bccfd49bb294caf05434fa3af793128ea347","datavalue":{"value":{"amount":"+0.7574580907821655","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":"Q4312342$DFF2980A-585D-468B-99B3-611124B3B8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f8fd060fca228f040af6a635ff66aa0cfd3d6f","datavalue":{"value":{"entity-type":"item","numeric-id":4583801,"id":"Q4583801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c83aef490bf1e857c6dfd068888c9d292f46366e","datavalue":{"value":{"amount":"+0.757430911064148","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":"Q4312342$F501E6F6-D939-4121-A2B5-B94F8D83183D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d96ef5ee1f5bdc7bb8734777580b50834921676","datavalue":{"value":{"entity-type":"item","numeric-id":5488258,"id":"Q5488258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc2266ecc0152e0b2e0282a06e729b823907865","datavalue":{"value":{"amount":"+0.756924033164978","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":"Q4312342$344ED7C8-871C-4A3D-9AA8-BFCD21C575F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2508ab34086599b962a14fe4ce32a2143219f8bd","datavalue":{"value":{"entity-type":"item","numeric-id":4733856,"id":"Q4733856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a649e0c35700b94f8917305752e7d855d5fc426d","datavalue":{"value":{"amount":"+0.7534511089324951","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":"Q4312342$371BB74C-64DF-4D2C-952F-EE69AF73A764","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4312342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4312342"}}}}}