{"entities":{"Q5488258":{"pageid":7517818,"ns":120,"title":"Item:Q5488258","lastrevid":49916626,"modified":"2026-01-12T00:42:39Z","type":"item","id":"Q5488258","labels":{"en":{"language":"en","value":"Compactness in equational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5054078"}},"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":"Q5488258$4F13C1C5-52CD-4A92-8C4B-DDBC09E3ACDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"474cacbff8c55c5f759d2ecf0f2cbc17d174ea0c","datavalue":{"value":"1105.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488258$3F2E9761-C540-4C15-9039-4545604D3D9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f4ffc608ada8e4a14c4a7ac75bb9921c404be25","datavalue":{"value":{"time":"+2006-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5488258$E3C7AE9F-283E-42B7-B225-39713B834E2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488258$66821F0B-38A7-4753-AEF1-749E20457048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488258$4A59FDF3-4217-4AA8-B49D-43E0B0B37A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488258$1035F8B1-3FD5-4990-9ADC-A73287A811A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3407a02e8312323a053a332cd8da0076127b9851","datavalue":{"value":"5054078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5488258$12160A7D-D99A-4B78-A3C9-5763191FCB5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39021fca6ba198706e2baf4a838312c43eea2b99","datavalue":{"value":"compactness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488258$6579FC75-FD56-4802-A4EE-701188652AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7b2d2a6ff9efeea054958cff2783df562f1f879","datavalue":{"value":"finitary equational logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488258$DEAF3AE6-07D3-4AE6-9DFC-E378AF5FBF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353fbf9e9ab5c4c4f57151f6fba14fb26e55474e","datavalue":{"value":"infinitary equational logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5488258$CC73F4E7-FCFA-4414-B895-ED6474048C91","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":"Q5488258$BE858828-9362-4302-AB10-715979FFEC24","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":"Q5488258$656A65DE-E5F9-41C8-BB5F-D524DFC372FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a58cf9edcd888198401724464f0863128914eb0","datavalue":{"value":{"entity-type":"item","numeric-id":1966137,"id":"Q1966137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e688cb6593543cd7c59fbba8311d77bbf59f0bd5","datavalue":{"value":{"amount":"+0.7674604654312134","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":"Q5488258$7FF0547C-2C24-4C12-8C87-8C75D0824002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b02dba4bac582d776b2427b5e2e79bab85fda12","datavalue":{"value":{"entity-type":"item","numeric-id":3347866,"id":"Q3347866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b4764a76df75dfbd4478b9dd12771b5500aab3a","datavalue":{"value":{"amount":"+0.7640223503112793","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":"Q5488258$4D425515-5B16-4EAB-B0C1-E7D5D5EB8941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14d4f238e5714003ec5518dfe2242acc36def6dd","datavalue":{"value":{"entity-type":"item","numeric-id":2820682,"id":"Q2820682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"710c89a18981ad995c37f016e16e54dc2bb916a1","datavalue":{"value":{"amount":"+0.7587867379188538","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":"Q5488258$807B2BE4-E1C6-4D96-BAFA-AD50B3A488CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e96ec1b4a8fbb8dd728996030f11b6da149061a7","datavalue":{"value":{"entity-type":"item","numeric-id":3677753,"id":"Q3677753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d4c559e160b194e77d40a4b50ce95a82468326b","datavalue":{"value":{"amount":"+0.7566283345222473","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":"Q5488258$6D4577D6-D40A-4F96-B77E-C931F4166DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c5fdef3e0d07467c8b13ad57cee78b38cc0fdf0","datavalue":{"value":{"entity-type":"item","numeric-id":796519,"id":"Q796519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6d5e9929af7d5c7e22be6d3c2c633e6b467c64","datavalue":{"value":{"amount":"+0.7555635571479797","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":"Q5488258$51B46799-7DA5-439F-9F4F-EEB4022E47D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5488258","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5488258"}}}}}