{"entities":{"Q1815423":{"pageid":1826165,"ns":120,"title":"Item:Q1815423","lastrevid":69070209,"modified":"2026-04-13T04:24:48Z","type":"item","id":"Q1815423","labels":{"en":{"language":"en","value":"Editors' introduction to the special issue on combining logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 944255"}},"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":"Q1815423$28C7B0DA-A27A-47BC-9D02-226336A65923","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b38f68d3e1d67c19f39cc0fba4ba1cc704b4756","datavalue":{"value":{"text":"Editors' introduction to the special issue on combining logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815423$A821B3B7-2AEF-4A71-BA17-2283032FF36D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e27c3e0a03a012f6f449a3a1b2f7da79d5167610","datavalue":{"value":"0856.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815423$459A5C8A-E99F-478C-8274-19EB82DB9CE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c046feff833ce0e6e8bb6d52d7ce260056affd","datavalue":{"value":{"entity-type":"item","numeric-id":209482,"id":"Q209482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815423$E699DE9B-484D-4779-854D-248235510841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f6a8e79876d53be79377b2bab6c14057cb3235","datavalue":{"value":{"entity-type":"item","numeric-id":676175,"id":"Q676175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815423$3A594F52-972D-47EE-8B31-FC16A6382243","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815423$423F236B-2B5A-4330-8A4C-1C217B5296D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffb759767da9e25ed180753251b692c5922c1d9d","datavalue":{"value":{"time":"+1996-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1815423$BA5B99D7-3365-4CCC-8E92-686E6C96871C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c154baf7c0aa8ba710d9d2ee950506d4e0128f3d","datavalue":{"value":"The idea of combining logics, structures, and theories has recently been attracting interest in areas as diverse as constraint logic programming, theorem proving, verification, computational linguistics, artificial intelligence -- and indeed, various branches of logic itself. It would be an exaggeration to claim that these (scattered, and by-and-large independent) investigations have crystallized into an enterprise meriting the title ``combined methods''; nonetheless, a number of interesting themes are emerging. This introduction notes some prominent ones and relates them to the papers in this special issue.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815423$167072D8-C371-4504-BF9D-0EF8B863B03F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815423$8C47A260-69E5-4496-A680-BE1D8006ED75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815423$E9A3681A-A8DF-4B54-A1A0-0686765E490F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815423$F370A9CB-176F-47B1-ACE3-8105F1A3BB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815423$56E5A9FB-5686-4E45-AD29-8346AA7ABF1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78220146d889ef69440962ea682cb990ccf9d877","datavalue":{"value":"944255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815423$BCBD1442-A696-40E4-B3C7-5C62800BBB9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efcfff38e7a8ea0ad870d7fab0402fa7ec3daeb5","datavalue":{"value":"description of real world systems using combined languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815423$0B469C83-77B8-4B48-8BFE-B1A24C8434FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815423$8CED4586-35BA-4D1A-8F1C-58547769A6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12eda5587910b93d1861d35256e63a3bc10b0fd3","datavalue":{"value":"logical combination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815423$F38F8B7A-7E92-4A61-9AD3-73D618CBDEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b8a547de2661a150563b0b019d4899eb69cf631","datavalue":{"value":"combining logics, structures, and theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815423$7A5A09E4-7BDB-464F-A7EA-4FA4F4F1D367","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":"Q1815423$6114C8E4-D02E-4470-91BC-A0A009C5EDA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4aed84d0f9da8686d015ad530a28590e49e5c4e6","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040046084","type":"string"},"datatype":"url"},"type":"statement","id":"Q1815423$1D8F2DC7-B4C6-4F22-A881-4809483E33E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9164de09a35ce6028bf9ff2632c63a2a82af13d","datavalue":{"value":"W4250861128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815423$9A3914A6-69CF-418E-A1CF-9C03438AFA03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"526445adbe414975d3cb29a82228a65a4e48c914","datavalue":{"value":{"entity-type":"item","numeric-id":1127338,"id":"Q1127338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815423$0268DD02-8185-44FB-90A8-91FB39498F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b436d9b7344b1e87d6d2c7f0bdb69af73d89184d","datavalue":{"value":{"entity-type":"item","numeric-id":1379286,"id":"Q1379286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815423$B2333451-7F4C-425E-AA46-C5AC6423B34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3a4f8d3fe46199677d9634052b4f2901586614","datavalue":{"value":{"entity-type":"item","numeric-id":676176,"id":"Q676176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815423$36F4746E-F166-4AE3-B440-5F76D7DEC51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1870fed3e50fb56569d7f793685df9c42e57f784","datavalue":{"value":{"entity-type":"item","numeric-id":4218020,"id":"Q4218020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815423$6AF34BBA-8417-4F35-BC0F-AEA9483D752F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958a040e091661b15eedf53ec690abc9e5b16350","datavalue":{"value":{"entity-type":"item","numeric-id":1314287,"id":"Q1314287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815423$B860B345-B23A-42E7-AEAB-7677E743184C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326e802bee95ed2c822a5c7be798bb929636447e","datavalue":{"value":{"entity-type":"item","numeric-id":3669373,"id":"Q3669373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815423$42C55659-19C3-45FE-A776-5C387647AE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3356fc56efb50f08c99d5aa0116066168b772a02","datavalue":{"value":{"entity-type":"item","numeric-id":3128464,"id":"Q3128464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815423$5AD12C73-8E09-47B2-953F-D9906125F635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8e0c5cc3575d6be27e025fb497f951125e4854","datavalue":{"value":{"entity-type":"item","numeric-id":3984418,"id":"Q3984418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815423$F7B85F52-05F7-4042-BD88-10C2132B681F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fcf96c877e1f3dc92a768344af0f42964fa4d18","datavalue":{"value":{"entity-type":"item","numeric-id":4940721,"id":"Q4940721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815423$73E52C6C-828D-4812-8018-8393226E7CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815423$69AF7DF4-423D-4FE2-A916-7B2FEAFE886B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7149b5c6ff43b6cd0d6c5f6709ff45f6ee1452ed","datavalue":{"value":{"entity-type":"item","numeric-id":4342095,"id":"Q4342095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815423$9A9A8545-EFD0-46E7-B4B7-DEF53943F614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e7e1dcbf368305b0805eed3df01bf4e94561f3","datavalue":{"value":{"entity-type":"item","numeric-id":4858814,"id":"Q4858814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815423$F6ABDD60-F866-451D-BBD5-3BB6B8EE2926","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c1ea89708ce63585709a4d40bb7106070ec33cb","datavalue":{"value":"10.1305/NDJFL/1040046084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815423$E5199C3A-EC87-40A9-890D-D43AB654F24C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"088a7a3801c8338b687dff73ba626f6c01144058","datavalue":{"value":{"entity-type":"item","numeric-id":3367293,"id":"Q3367293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b251627416a22427fc563829608b62e6f7e890f","datavalue":{"value":{"amount":"+0.819814145565033","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":"Q1815423$623218DB-E66F-43B4-9C5F-858451C6F0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf2312a039ccc6673779f11dd114fee45c73172","datavalue":{"value":{"entity-type":"item","numeric-id":1604670,"id":"Q1604670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f5aa4f7caec366716ebadf3e3cad228dd477eeb","datavalue":{"value":{"amount":"+0.8059819936752319","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":"Q1815423$A3124D7C-4AD4-450F-87F8-4EF629143C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b857db46b4348be77ce52576573eb7756241e4d","datavalue":{"value":{"entity-type":"item","numeric-id":5416169,"id":"Q5416169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"648055320cfc04d3d031c6488252d22cf0490ab8","datavalue":{"value":{"amount":"+0.7989776134490967","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":"Q1815423$F77E78DA-666D-4984-BF0B-A1B1DC1230BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0d65686dcabffec7199666d94a36a331f268a46","datavalue":{"value":{"entity-type":"item","numeric-id":2772879,"id":"Q2772879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9c447424f7589b319b31d9fc8596e0ac8d7b15","datavalue":{"value":{"amount":"+0.7984611392021179","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":"Q1815423$5C664D16-E26B-428C-9CD1-481101E9B605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0160d26d5ccf53d7ff334c92837f68f31c375885","datavalue":{"value":{"entity-type":"item","numeric-id":676176,"id":"Q676176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab4f14382ca85c7100d347f9294e785e457e5e04","datavalue":{"value":{"amount":"+0.7844718098640442","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":"Q1815423$4B917F42-F948-46F2-9A5E-01B4CDF46573","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Editors' introduction to the special issue on combining logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Editors%27_introduction_to_the_special_issue_on_combining_logics"}}}}}