{"entities":{"Q6111523":{"pageid":13245830,"ns":120,"title":"Item:Q6111523","lastrevid":57126801,"modified":"2026-03-26T17:25:14Z","type":"item","id":"Q6111523","labels":{"en":{"language":"en","value":"SCL(EQ): SCL for first-order logic with equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7722429"}},"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":"Q6111523$B4DB545A-4902-4F24-8F9B-CCE40350EEC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bfb00be12576bc93608cba06a28fc6c4b8adda3","datavalue":{"value":{"text":"SCL(EQ): SCL for first-order logic with equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6111523$CBAFDFD7-2E12-4A53-8089-40F6828207DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6927e57f3ad5ccc79e10034c75490fbced5814bb","datavalue":{"value":{"entity-type":"item","numeric-id":2104510,"id":"Q2104510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$D5726D46-44EF-43AD-9FE2-836766769BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$420DC48F-9B54-4B98-A325-E22B33246729","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$C6582437-6A67-44D1-B912-E308FAD7CDCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a60f814f4badc35e7a02ecc8e495276c1fc39c5f","datavalue":{"value":{"time":"+2023-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6111523$96D7CC21-FEFF-446E-8286-0165E428957F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111523$9D2158A5-05D3-449D-B074-CAF6EBF8D357","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0145c2bea3736bac37612ea1a0bce77605fe1760","datavalue":{"value":"7722429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111523$FFCAF974-A06F-4900-A860-7449C8B2B4E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f81fd79d9a404edbf19c987163b4693c5a6aa6","datavalue":{"value":"first-order logic with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6111523$6C60079C-CCF1-44F7-8849-B415C12634A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6111523$5636BB9D-6D0E-455E-B706-0E742EE53373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c96e9d3e219ec7820689f2f15282878c73f989ab","datavalue":{"value":"model-based reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6111523$8625CE3F-AE22-4BC3-87DB-BB19C5B3FBF9","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":"Q6111523$09BF3B2E-3D5A-453C-A151-198A1210EBD8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"151234b3a8c514de725beb8281dddac3a274ecf1","datavalue":{"value":{"entity-type":"item","numeric-id":2964454,"id":"Q2964454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$FA6AE355-7F14-4015-A21B-49647AAC8F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$94B3C618-389D-4908-886A-F4410B0131FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207d1a4f947fa872ea38eb5c749f0304803e02b3","datavalue":{"value":{"entity-type":"item","numeric-id":4282593,"id":"Q4282593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$F09A7246-5938-447C-8CF8-4D5B5B5225D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b24916f8a190902c9f51557c21e619c4626fe3","datavalue":{"value":{"entity-type":"item","numeric-id":4249897,"id":"Q4249897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$49D00E10-9B64-4B0D-83C9-E09AE5C673CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57f7fa6caa55b91028ff32d7dc4d210dfa455de8","datavalue":{"value":{"entity-type":"item","numeric-id":3838803,"id":"Q3838803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$EE3F0E2D-E172-43F6-9F2C-3221F3F784B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc0836acee68f0bfd8ffa99e594e42d0f2ccbde","datavalue":{"value":{"entity-type":"item","numeric-id":5394627,"id":"Q5394627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$6FD7A200-39C9-4F1B-ACFA-7B433F5C63B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e929c89a961a1c2fc3e1cb37a7fa174924bf185b","datavalue":{"value":{"entity-type":"item","numeric-id":5191094,"id":"Q5191094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$9469F617-9A21-4778-B3B0-7425DA5B6FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b850b043885273916728e7ea46c854030ea9cd","datavalue":{"value":{"entity-type":"item","numeric-id":5387921,"id":"Q5387921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$F51526F2-320E-4B81-8003-2072AEB11024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e20a28bc016e176ffd0d442e4a0f474a1411cb4e","datavalue":{"value":{"entity-type":"item","numeric-id":3608795,"id":"Q3608795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$02229B0D-8CB9-41EE-9D3A-EE5E399A5ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a14f991dbd8778adffefe5f5053765292d1e6033","datavalue":{"value":{"entity-type":"item","numeric-id":429586,"id":"Q429586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$53C4F671-00BC-45A7-8C91-13775D3034A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$A9F66C20-63CF-4851-BA85-08E39E5ACA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a195bd13c9b0db9f02362bc5a78cc685b293b80","datavalue":{"value":{"entity-type":"item","numeric-id":2945706,"id":"Q2945706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$F8540722-48EB-4976-A777-0130474A0145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d72b96c91ebf8c923998f114a10233088e5f587","datavalue":{"value":{"entity-type":"item","numeric-id":2234101,"id":"Q2234101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$BE3E1715-833D-4DE3-80A5-6684B2F9D4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$59279779-804C-4E35-A107-0ABBA4EDCDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$ADA42F81-B199-448B-A19F-F04F625F4154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db15afe119e4d8924199889dafaa491710809a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2751361,"id":"Q2751361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$054330CE-8899-4619-9063-49312BC1C8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1db31f69f14e867729757963150857470e58a6","datavalue":{"value":{"entity-type":"item","numeric-id":2305416,"id":"Q2305416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$F4B53C72-9FE3-4752-B2CF-F949453514AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9741e06ce9f548b05466c57084eff41a74813bc1","datavalue":{"value":{"entity-type":"item","numeric-id":4033833,"id":"Q4033833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$F1A26D3D-2E7E-4B2B-98F8-160BE8A3D690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c47996ece75ce993dce6ae30ef206590df431f6","datavalue":{"value":{"entity-type":"item","numeric-id":2096454,"id":"Q2096454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$48E9BA7F-68C9-40D6-91F8-9A7D1167950A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abd7c21ad90e0dd8485a1544cb35dfb6ee469ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4916080,"id":"Q4916080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$67B0A791-E575-4ECC-A019-C02DC1550647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0637ab83f98d367cde1bd1027148cbfc28f2ca8a","datavalue":{"value":{"entity-type":"item","numeric-id":5747761,"id":"Q5747761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$52E364CA-F1D3-422A-AD0B-32C5DB9F36EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4359d4aec7656095d8cff872a7ceb2994995e93a","datavalue":{"value":{"entity-type":"item","numeric-id":2104511,"id":"Q2104511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$CDB5B6B8-AF5B-489A-B0E7-49F8B850B0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$A37D2ED5-DF6F-4D2E-A025-8CE04ADAFAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$C9594A6C-E1B3-47B2-AA18-D88230615699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00589542fdb6ec4fc401e47318165d5bad4f817","datavalue":{"value":{"entity-type":"item","numeric-id":1581853,"id":"Q1581853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$586F53CC-1B78-4BC4-811E-8A288B62885A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$81A3B854-6AF5-419C-BF92-24D650E5E8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$AE992661-689B-45A4-97BD-A880EA7E12CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61546e6fd6be76472da0ab32feef7093fd5ac18","datavalue":{"value":{"entity-type":"item","numeric-id":5918558,"id":"Q5918558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$D42689F3-56ED-4A4B-9691-A1824AFA2B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$1160FC8A-56C0-42AE-8F84-4BB276BC6CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a44575586a212592aeb45bf53933d890e6bf0f","datavalue":{"value":{"entity-type":"item","numeric-id":3449631,"id":"Q3449631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$6752F053-CC13-401E-9E7E-3B4136C0A565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8fed1899de537f0a8dc721d23120dc5fc29d41","datavalue":{"value":{"entity-type":"item","numeric-id":3568223,"id":"Q3568223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$C2A3E27E-1427-4985-8CC4-C511ADF57823","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29c6016feba2cc870e4310aab94386de40672bab","datavalue":{"value":"10.1007/S10817-023-09673-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6111523$FF67F18A-607D-425F-A7D9-D17C9FD19185","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6111523$15538A9D-768F-4F13-8FDC-79F1557805E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6111523","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6111523"}}}}}