{"entities":{"Q980942":{"pageid":982790,"ns":120,"title":"Item:Q980942","lastrevid":65741940,"modified":"2026-04-12T05:03:00Z","type":"item","id":"Q980942","labels":{"en":{"language":"en","value":"On the formal semantics of IF-like logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5731994"}},"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":"Q980942$256E4AEF-B6EF-4779-AFDD-7D67F19F1C53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f7594dd38e597d7797eaaaefb8d23aa02af24ef","datavalue":{"value":{"text":"On the formal semantics of IF-like logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q980942$9A9219B9-E025-4160-8AD4-B254FD5D8F61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a22a13d8091f548ba139cade5b6446383e7da1ec","datavalue":{"value":"1197.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q980942$1296C7F9-7A57-416B-ABB6-B1E09744B969","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e18e3410e30c1d79684d376151c4e281cfcf6277","datavalue":{"value":{"entity-type":"item","numeric-id":235739,"id":"Q235739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$D2529A00-A128-4D39-9851-4DF7AE813BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75910c3998f3e6d7a5be008fae7c3261563e6e33","datavalue":{"value":{"entity-type":"item","numeric-id":631074,"id":"Q631074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$2A7ACB2D-C3F5-427A-88E0-E654773DEDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a69c580400d6070fedfdaf4f517c79a9d420116","datavalue":{"value":{"entity-type":"item","numeric-id":980941,"id":"Q980941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$562F3F0C-4590-47C1-AAF7-7083759AB672","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$BD0D2CDF-A083-4C73-9101-5FA688A0533F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e2fd15bfb5ff75f3830c4d455e2a782e2b5d1b7","datavalue":{"value":{"time":"+2010-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q980942$65CDB03B-153E-43D8-AD99-9A221F562286","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f435334f13848e43d9ba1ef7c79dec89ef9f8af2","datavalue":{"value":"http://hdl.handle.net/1942/12820","type":"string"},"datatype":"url"},"type":"statement","id":"Q980942$7203FF65-57C9-4E72-8980-F150D88445E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q980942$B578ED90-ED08-4E3A-B233-0787E1D86604","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16c90bd8c675897073258ddc01ff1cb07aa9f7f4","datavalue":{"value":"5731994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q980942$3AE55338-3567-4FF6-B762-000B81A0FFAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76d797a0d444b524a5821fa450f69440856dfae0","datavalue":{"value":"independence-friendly logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q980942$0039FC88-410A-4D90-81F9-26BDCD5EE874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9bf18df8c9ac0480059192e0d662bab1f5d6fc","datavalue":{"value":"regular formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q980942$6DD5DB70-7DA4-4634-905C-9311852B056A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f455f35408600c9d0d665c71b459c497cbdc6d82","datavalue":{"value":"signaling","type":"string"},"datatype":"string"},"type":"statement","id":"Q980942$CF8F8D0D-DE11-4511-ADB4-A1642A719E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aaab3d8847179472aa7fd7608710ba87c5a9ef1","datavalue":{"value":"valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q980942$3E7ACD27-E1D6-48E0-84FA-F8D96D9EBA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"977eed6131dfef7e6e3cd1144bd76459fa17e188","datavalue":{"value":"compositional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q980942$57584094-0D69-4975-8865-93906C24357A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q980942$0FF6D3C0-BDAB-48FD-98D2-33A8DA67C93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbc22109c6ca68a8c31ea728f8d9c89fa174ae1","datavalue":{"value":"flattening operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q980942$B99D5D84-FBF3-4CCE-9DB6-5E2C3FE983CD","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":"Q980942$2DC7D68C-C685-4D6D-B4D9-1E5226EE6D68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93d0d12ab7b48ba2a0d8e001d1b9aeae180c2b6e","datavalue":{"value":"W2171275058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q980942$94540F72-C170-4D88-8357-60938D0034E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8413e35396f689c527307b15a1f798700960d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5691485,"id":"Q5691485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$FD6E5EB8-7B27-4820-A435-23514E0A088D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be154b266f49b889b70e2e16e1ef5f70c091bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5732647,"id":"Q5732647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$8AB77ED7-A682-4F26-AE1D-8F9A93AF9ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca7bf9ff748343f2efbe736997f3fd4b0e9f589","datavalue":{"value":{"entity-type":"item","numeric-id":5623654,"id":"Q5623654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$308CC79E-F2FC-4410-B9AC-625D4E239D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04675bb682cee8b380566c06e9ed1f4ceed15583","datavalue":{"value":{"entity-type":"item","numeric-id":5588598,"id":"Q5588598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$90D4CFFE-5C37-4626-962A-C0639C53B441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0fd598c68460686a7eb4ac006433bd8a5b3f32","datavalue":{"value":{"entity-type":"item","numeric-id":1254239,"id":"Q1254239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$6E3F36F4-F23C-4920-AE23-B83935581CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac366ac97a9adbea83879d2f3a7c01ff6e55871","datavalue":{"value":{"entity-type":"item","numeric-id":1208148,"id":"Q1208148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$09F3AAFD-7E60-48C8-973C-B4223B565757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b38b5112d5f653bddb02662af5d746f460335b","datavalue":{"value":{"entity-type":"item","numeric-id":4328795,"id":"Q4328795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$5E4D3F6B-A448-4711-A3C9-05E1111CF25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$50D5B1A5-872E-4550-9622-BDA688F3B678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031ec94354ea9c860a7fd690105f756cd266ec32","datavalue":{"value":{"entity-type":"item","numeric-id":1610629,"id":"Q1610629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$0284FCCC-AC78-4CDB-A478-13DF9643AD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c879ca2b79469c38ce4091087e5b4353caf612a","datavalue":{"value":{"entity-type":"item","numeric-id":3574468,"id":"Q3574468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$0E70A90A-974B-4E87-9A14-66B332EC9240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629a9cfc29759a58cc620095ca39298f5554851e","datavalue":{"value":{"entity-type":"item","numeric-id":4362727,"id":"Q4362727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$010D126A-DCFB-465C-893D-9FF7FEE3209B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a826d552abcd20c185d36e7d02136cb6a512ef0d","datavalue":{"value":{"entity-type":"item","numeric-id":5755192,"id":"Q5755192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$D4B3998B-9215-4FA6-B88B-672CD6BB4E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a12811d593d7fbb31f6db7c6765ebbd7a124f14","datavalue":{"value":{"entity-type":"item","numeric-id":4699335,"id":"Q4699335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$05974120-4559-4840-B683-F01A4EFB7334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83fc87e7179a2c7bbe925133cbd8e1f1fa63d89","datavalue":{"value":{"entity-type":"item","numeric-id":3613174,"id":"Q3613174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$3069C878-9E5E-46A5-8040-5CC5434580AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$3DD81C53-1EFC-4CA8-A882-8B77120EBD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53659cbe4374fba43669a41966294053efdea479","datavalue":{"value":{"entity-type":"item","numeric-id":3728878,"id":"Q3728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$CB172A2C-12B8-46B3-8772-42BDEAD1EFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed87da2d6c86d89b1f542f6be8a5cff4cb36f7c2","datavalue":{"value":{"entity-type":"item","numeric-id":3147434,"id":"Q3147434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q980942$17E92130-BF49-467B-A462-596838A1B34F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8eade269980039118e5529127f78003bcd194940","datavalue":{"value":"10.1016/J.JCSS.2009.10.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q980942$F5677755-055D-4A37-B851-D5415B02AF8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f27422cc01d0e88844da478db829c4564b34aa44","datavalue":{"value":{"entity-type":"item","numeric-id":3511456,"id":"Q3511456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edae15e2ddff9cbae48e2f157ae9ff273d58f4e7","datavalue":{"value":{"amount":"+0.9630465507507324","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":"Q980942$C12B7FF8-AE8B-4E62-BB4F-D679D6565E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e34df44a175f88f35d30cb148dd7fa454b45f29","datavalue":{"value":{"entity-type":"item","numeric-id":1610629,"id":"Q1610629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43196f8798fe377eefdf36f300a92f98d4be43c0","datavalue":{"value":{"amount":"+0.8179633021354675","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":"Q980942$A655716A-3A7F-42F5-95C7-B8B0FE6337D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d265c4ab880ae8a6bf23cdfccb4a19c444db5455","datavalue":{"value":{"entity-type":"item","numeric-id":3613174,"id":"Q3613174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6da1ef101ff1c52e261d2b698ceec8cc1e82d29","datavalue":{"value":{"amount":"+0.784472644329071","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":"Q980942$5FE123F0-BE7A-4CA6-8E6B-2BC59DEF5E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b81a45e168373a9af98cb46de3a98d34af86198","datavalue":{"value":{"entity-type":"item","numeric-id":4360863,"id":"Q4360863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8af254883e822bf8d230ef46e755c6c0c7b535bd","datavalue":{"value":{"amount":"+0.7761586904525757","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":"Q980942$B75E5220-1111-4CC9-BB7D-A3A63993583F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a4b1910a55dd17f664442273bce23c42bb632c8","datavalue":{"value":{"entity-type":"item","numeric-id":3077957,"id":"Q3077957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8af254883e822bf8d230ef46e755c6c0c7b535bd","datavalue":{"value":{"amount":"+0.7761586904525757","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":"Q980942$AA5FE836-86E0-41DB-A6D7-F01E0155BE2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the formal semantics of IF-like logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_formal_semantics_of_IF-like_logics"}}}}}