{"entities":{"Q4443007":{"pageid":6472606,"ns":120,"title":"Item:Q4443007","lastrevid":48217408,"modified":"2026-01-04T00:02:56Z","type":"item","id":"Q4443007","labels":{"en":{"language":"en","value":"Embedding Logics in the Local Computation Framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2024285"}},"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":"Q4443007$0D864F07-9436-4239-B092-0CAF877FD62D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03625fccb0781dceb3860313797c65bafb0ecbb2","datavalue":{"value":{"text":"Embedding Logics in the Local Computation Framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4443007$0F13B38C-C55F-46AF-8A94-E45A4B1F4D76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7eb7da977fb192b82453b120a8df05ffa4c98fb","datavalue":{"value":"1032.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443007$6DE08B95-A489-4E90-A066-C4E5138B535C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"612e863372797a8023b0193318d86da6bd3862bf","datavalue":{"value":{"entity-type":"item","numeric-id":606906,"id":"Q606906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443007$790298C7-562F-48C0-810F-4341F812549C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d9f58d925015d2adc006a7985e48f053ec4c22e","datavalue":{"value":{"entity-type":"item","numeric-id":2315364,"id":"Q2315364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443007$74AB98D8-C502-4B97-BFA8-8B139B5D55D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443007$5973D2D0-155C-4B67-967A-599973E73F4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1387c1e596edcfc6362873e2e0aa3d5df01d272","datavalue":{"value":{"time":"+2004-01-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":"Q4443007$12CBE854-58AA-43CE-BA31-B17CBAB02801","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443007$C6D83EBA-41B6-4E66-82E5-FF85504FD5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443007$DDDCDA50-1221-4762-804E-3FCA03938624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443007$D9C972FA-9606-40F6-BD28-66F19F0D7DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443007$5A46E774-5B2A-444E-8779-B2800727B5DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"347915946146f65c9cfd4db98f98ab1ecfac3af2","datavalue":{"value":"2024285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443007$A6BCB4E3-0F20-47FF-83B0-96A6C93F5BFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443007$923F8287-C738-4BF9-88F7-40C36A7FCC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a027cc6c69e14371ce3b0caa3d4ea616d122d747","datavalue":{"value":"conditional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443007$27F7DD13-382D-41B3-96DD-4CA9758EBAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443007$E9ABA5CD-2B52-4D69-A8FB-F6114C450524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36fcc5187138dbc1674a065bb674122a597aba1c","datavalue":{"value":"uncertainty","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443007$B0439806-D99E-4C82-A166-641F00B7C3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a30a57b343d16354cfb96847c91a0e332d51978d","datavalue":{"value":"computation of logical deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443007$8DCA74A6-EC7A-4DB0-A6F5-A8E1C5844A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e9bb296d6d65978e7ff65d460a4aabeb7ee8452","datavalue":{"value":"model structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443007$B04CF521-4799-42B5-8D37-92AD5CC59498","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":"Q4443007$94861491-2895-4D42-AF8F-1858016DF51A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"febf3138e154a64767a408df777be794a8c7dcba","datavalue":{"value":"https://doi.org/10.3166/jancl.11.239-267","type":"string"},"datatype":"url"},"type":"statement","id":"Q4443007$8597CB5E-AD71-4972-BEF1-002478431AFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ae76429e89daf4b228f9148b0a2a7991fce83d0","datavalue":{"value":"W2086413166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443007$E2CF968B-DAFE-42CD-B79B-CDD04B378A4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e67fcddb24060125029173cfd968ce530b38d6ab","datavalue":{"value":{"entity-type":"item","numeric-id":1978379,"id":"Q1978379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443007$2D72E7F4-ED17-4DB5-947F-A9971BD27D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5823f862e0778527b8ffb195b979f07ae97fbd20","datavalue":{"value":{"entity-type":"item","numeric-id":1103607,"id":"Q1103607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443007$331AE29E-9F25-41C5-ADEA-6A1E173D62AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222b186d1a5a394b7366c4c1b9dd69568303895d","datavalue":{"value":{"entity-type":"item","numeric-id":1115207,"id":"Q1115207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443007$0AA70F91-1B73-4777-A9A5-45B371AE6CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67df14bf133d6883bc8e8a6644ec766d85d7d310","datavalue":{"value":{"entity-type":"item","numeric-id":3201764,"id":"Q3201764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443007$961AB6A9-497C-43F7-A041-3DE7A2C35A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f927a92bfb7361a8954519f1790a19e0db351e9","datavalue":{"value":{"entity-type":"item","numeric-id":1123640,"id":"Q1123640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443007$7F477927-3D96-4E7E-8C8E-015CC1755A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac78d6346f739f6266b5a8445a0ccb15bfa61032","datavalue":{"value":{"entity-type":"item","numeric-id":1199916,"id":"Q1199916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443007$25D337DB-4184-4A1A-9E41-A6547A2BF97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6226f3c7f5c7f0657e24beeb28427e47a8ee3170","datavalue":{"value":{"entity-type":"item","numeric-id":4934810,"id":"Q4934810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443007$12FAE287-05D4-4AFA-9D26-533A0FFF6D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94855211e231eaafec4a6b9936fa50c3f6c921ce","datavalue":{"value":{"entity-type":"item","numeric-id":3933791,"id":"Q3933791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443007$C38DA76D-2DCF-4225-8E06-8F006AF7DB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443007$B84C81E4-8A3C-4834-A240-D81FFD54217A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c37086ac5ed0d60341aeba85e60e276ca9f5089","datavalue":{"value":{"entity-type":"item","numeric-id":3997653,"id":"Q3997653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443007$0DE28F7E-31E8-4DA3-99C5-37959133516C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac3a55eef82665d7ad7eb4bc7b9c6ea93d04ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1115208,"id":"Q1115208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443007$F618F81A-56E1-4D3D-ABCB-5145EE235028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacdf54289dae3c00820e76c797ca37f39e3d91b","datavalue":{"value":{"entity-type":"item","numeric-id":1356197,"id":"Q1356197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443007$B0309FC0-CD33-4CAB-8EFF-785156F587FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3f44a13988f3ded21e5502f81663633cdc4ee0","datavalue":{"value":{"entity-type":"item","numeric-id":4698234,"id":"Q4698234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443007$F64A6DEF-8E55-460D-AAB3-E0E89B8C4CF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5e43e574a00d3d3671ec409c833112b0a3aa9de","datavalue":{"value":"10.3166/JANCL.11.239-267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443007$12333D5F-FAA3-4CD3-BF49-AB8793358E37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"682ed43450eee5a7b228afdb0ae0542925608a01","datavalue":{"value":{"entity-type":"item","numeric-id":4263004,"id":"Q4263004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bdd0ca8957f02b6aadd29abf126408366fc5061","datavalue":{"value":{"amount":"+0.8834428787231445","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":"Q4443007$9AD4B3EE-F045-4AA6-8C89-8A37D41605E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cd42b5163ab3010178086b9d26f679d08fafafb","datavalue":{"value":{"entity-type":"item","numeric-id":3585176,"id":"Q3585176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bdd0ca8957f02b6aadd29abf126408366fc5061","datavalue":{"value":{"amount":"+0.8834428787231445","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":"Q4443007$2AF488C8-D553-45FD-91A7-343B6F930E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fd652678c749008b6c1839b57661d1e4cae107d","datavalue":{"value":{"entity-type":"item","numeric-id":414892,"id":"Q414892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f12e4f17bf71504a2e683a14e36248863775e07c","datavalue":{"value":{"amount":"+0.6833186745643616","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":"Q4443007$ECB9C1FD-0FD8-48AB-922C-9509F9FAE604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6db9e4c0a7c7356fcf629c0b5ae9873c931b305","datavalue":{"value":{"entity-type":"item","numeric-id":4034409,"id":"Q4034409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb362491aeef485dbdcb73aebcf38e22d6937a2","datavalue":{"value":{"amount":"+0.676724910736084","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":"Q4443007$A2E23DBC-8698-4D84-9E34-DB0441FA783B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d072f6d5de42e18e50bc86d0c97cb84d0b057cd4","datavalue":{"value":{"entity-type":"item","numeric-id":1370587,"id":"Q1370587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560932c9adb973e275fa9294ff4865d2ad8f7d6f","datavalue":{"value":{"amount":"+0.6684766411781311","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":"Q4443007$1DC95B28-0962-48BD-A289-3BD67130FBE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4443007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4443007"}}}}}