{"entities":{"Q1182164":{"pageid":1192913,"ns":120,"title":"Item:Q1182164","lastrevid":67089675,"modified":"2026-04-12T15:07:18Z","type":"item","id":"Q1182164","labels":{"en":{"language":"en","value":"The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 30533"}},"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":"Q1182164$21BBA547-F965-43A0-8150-485E2484A9F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c36e8a2c1bd28f15964492aa476d05ea4d86051e","datavalue":{"value":{"text":"The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1182164$508B6ACC-0B7A-4252-9D8A-A8D5DD82465A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f287fc2f1905bc6180d68cb9fef01e09f7ce059","datavalue":{"value":"0736.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182164$01639533-F9C4-4CF7-8BC9-E77AC36EE0AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a88ae85998e076a57fa3d082bcbe2ecb278bb8b","datavalue":{"value":"10.1016/0004-3702(91)90009-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182164$9F739D64-7774-4CA2-9166-51263264396B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed65d327f6bb6fd3dba59894c9a73e7631265bf6","datavalue":{"value":{"entity-type":"item","numeric-id":835807,"id":"Q835807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182164$3CBD0681-96F5-4C61-8EDF-93ADE3B54FB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182164$54373FF0-B7B4-42A8-98BE-2D5DBDAF11EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1182164$E29004AB-904D-474D-A004-563310184332","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182164$F36ECC0C-0199-47CA-BE95-9F34146E1D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182164$9CA634DB-D24F-41F5-9FEF-DC281760CF6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5546ad496def688f404a68d7f27d451d955d1bee","datavalue":{"value":"30533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182164$F863D27F-E2D7-4333-B0A3-7FB21293B5BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09cf381e36de2de58a1a19f51483a60ca281c2f1","datavalue":{"value":"sorted logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182164$6C209BC9-D836-4FA6-B818-874B83FE5619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6196f0201fdc37ee25310f929aed4d29ac1d5956","datavalue":{"value":"substitutional framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182164$A29DA34F-6943-42CD-8BDF-E77E431C932F","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":"Q1182164$B494C43F-8CAA-4F5D-B486-82D46338B5C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"184b974a2ca46aeff5a710ca5927ae53d8c1582e","datavalue":{"value":"https://doi.org/10.1016/0004-3702(91)90009-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1182164$05AA456E-2CA5-4227-9F82-F5DA14CE664A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c255e1476474f3de50d33f7ca8b2f123d3f88066","datavalue":{"value":"W1970861542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182164$9E88BDED-9BFA-4D6C-B75F-EE4A7DE0BD58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c870028c7e70b11c2d1c323364fb3678909a86","datavalue":{"value":{"entity-type":"item","numeric-id":3735057,"id":"Q3735057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182164$FB0DF3F9-CEF9-4874-B40B-8FCCF12FB283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfead181c4df7b86f6e62184823b49dfa079ebaf","datavalue":{"value":{"entity-type":"item","numeric-id":1060013,"id":"Q1060013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182164$6F17A01F-3F5F-46CD-8F93-81ED094A9DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a4ef3cf5529c302dcba2d05b41a61a0e7210fe","datavalue":{"value":{"entity-type":"item","numeric-id":1101261,"id":"Q1101261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182164$CCDBDBFF-1D79-4DDB-AD73-ECC53F413ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de8fd11ec095912c23c06743e082e851d570ae9","datavalue":{"value":{"entity-type":"item","numeric-id":3495342,"id":"Q3495342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182164$B0EFAC38-6050-42CF-9D20-B6A2B7457680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a0248811b4cc5f461005899b2c31fae1c2c398","datavalue":{"value":{"entity-type":"item","numeric-id":5685660,"id":"Q5685660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182164$D22F617F-431E-47FA-9B36-D0A667F55D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182164$2A2B643F-DB6A-4B77-BEED-05AD5830EDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd7f4ac2c4d2314fae83403dbcb7eab5f78434cd","datavalue":{"value":{"entity-type":"item","numeric-id":3864488,"id":"Q3864488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182164$1867649F-9F09-4148-B3DD-34E5340F2733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9ffe52ba89a0dadd1e1e57878b5d204af2330c","datavalue":{"value":{"entity-type":"item","numeric-id":4723321,"id":"Q4723321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182164$4925010D-48BE-438C-A31E-78EC77410401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0019d907973d7569cdd61ec3c8c4f916896acc5b","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182164$62941111-9260-4378-AF2A-DEE55C7017A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ee3b057142576093bd9e66364057980fafc0e4","datavalue":{"value":{"entity-type":"item","numeric-id":1821564,"id":"Q1821564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182164$50478AFD-DE05-45CA-BA51-24C4050F13DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aefcbbb48c9809b0ea99532e8c981cd3b1e3ae5","datavalue":{"value":{"entity-type":"item","numeric-id":1101259,"id":"Q1101259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182164$6B057E3F-6696-4781-84FD-4F1DADACD2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09289f6833573b3dfe785ef27b87fe1f0ccbfbc3","datavalue":{"value":{"entity-type":"item","numeric-id":1060859,"id":"Q1060859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182164$923A702F-602A-4A67-84BC-15E06A400865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a177420faefcfce6396fc744cae98a5ec9b03f8","datavalue":{"value":{"entity-type":"item","numeric-id":3992821,"id":"Q3992821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182164$D5B7C2D4-DF55-4E11-A71A-0CDFF9708571","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583aa61fef5fea1238434601da5d9e1d21504309","datavalue":{"value":{"entity-type":"item","numeric-id":3495342,"id":"Q3495342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab055ecc6d0923397e32b750fd8eb18cf5a502a","datavalue":{"value":{"amount":"+0.8736048936843872","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":"Q1182164$8B973CC1-53F0-4A4F-B6B1-54FA35E4BCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903bbadba11891f3afe5d7860338ed78eb177737","datavalue":{"value":{"entity-type":"item","numeric-id":4028814,"id":"Q4028814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d81e96c1c3a40544a4ca96abf1cf53cdcbf70b","datavalue":{"value":{"amount":"+0.7061313390731812","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":"Q1182164$D546C19A-F0F3-46AA-82D5-0038CDC0F500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8329d3de1a8a4943920e20f52843a7c2f49d9af3","datavalue":{"value":{"entity-type":"item","numeric-id":1907066,"id":"Q1907066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef243e04c634a3955dad732d172973dedf987378","datavalue":{"value":{"amount":"+0.7003561854362488","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":"Q1182164$D24FB5A0-B19D-48C8-952C-B9374EFE6F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"770b9f09478ba1795e6697d71d33894921f89762","datavalue":{"value":{"entity-type":"item","numeric-id":2782492,"id":"Q2782492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f31d566b73522ed4ba86d575995b90c04ceb96b","datavalue":{"value":{"amount":"+0.6825428009033203","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":"Q1182164$3ABB5207-BB8F-4D8B-9C42-0D566A5F9DEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning","badges":[]}}}}}