{"entities":{"Q2949457":{"pageid":2960177,"ns":120,"title":"Item:Q2949457","lastrevid":85396382,"modified":"2026-06-03T07:55:03Z","type":"item","id":"Q2949457","labels":{"en":{"language":"en","value":"On the dependencies of logical rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6488008"}},"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":"Q2949457$416BA0E9-3145-49D3-8F0D-3DA9744CFF7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bed02e80f9b214159eb892aa28d2f91c456b568","datavalue":{"value":{"text":"On the Dependencies of Logical Rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2949457$4DF3D0EE-AE94-42A7-B7DC-0AD3C58972A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85f92107308be0b8c55af8a320558c770fe8e8ea","datavalue":{"value":"1367.03109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949457$36C5CF5B-3DD6-47D9-A80E-717BA68F3EA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2571dced5cff8ed567ff03b9adbef90a25a2609","datavalue":{"value":"10.1007/978-3-662-46678-0_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949457$D5A5BC4E-D494-4649-B8AE-87B4CD8AB0BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b702d58a23bad60a1dc653d66b6407d09f57ef32","datavalue":{"value":{"entity-type":"item","numeric-id":1744372,"id":"Q1744372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949457$B743775E-0CDE-4B85-811C-462A0286A338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dc5416b47c2347b27baef4d150fc87d0d7a42fc","datavalue":{"value":{"entity-type":"item","numeric-id":2289073,"id":"Q2289073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949457$4AEEBD03-EA72-42EE-B603-BEE740E2D5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949457$1D4BE53A-8EE1-4C93-A583-ED2F23F360D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949457$8FA65A3B-CF45-4F10-9D00-0220A92CBBDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9cc25a3f929f7dc4cd6afff1695aa56ef6a0364","datavalue":{"value":{"time":"+2015-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2949457$FE711761-CFF0-4E74-A920-C43071394D75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949457$912C5C13-AD81-4616-9AAB-A83C7A525162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949457$AF8C8568-409F-47DB-98D7-0CC68892C55F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4074a28b942baa8c52df5c7a0057c45fc0ed76f8","datavalue":{"value":"6488008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949457$57A0DB9F-8E1A-402D-B77A-5A7F65AA2B0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949457$DBF3DC51-957E-4A05-B106-CFD438C4C19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7bfb1a9cafad87af56437615cba67253b758c47","datavalue":{"value":"MLL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949457$DD740189-9F5C-4819-8E7E-2FFB55FD9708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949457$0C29CD43-7BF4-47FF-ABCC-2CB8E3998B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44de989c829586227a45de0afe57740bc19af64f","datavalue":{"value":"correction criterion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949457$D39B96BF-FF85-435B-B02D-F9AB067E77D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"662b5350184818158d059bf43c917345a3d5cf34","datavalue":{"value":"dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949457$9E2D1337-9D4A-42DC-96A4-02315DDBF5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e3fcc84d92c0d7097f8bd852a680cf5f6fd2ea","datavalue":{"value":"contractibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949457$01ACC6BA-2F0D-4D26-96DF-1F459D812B5D","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":"Q2949457$ED298609-9F9C-4F3F-ABCE-BE0352519A17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f2672b69e022087b4ad13f82bb06115d30a1e06","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46678-0_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q2949457$CC46288E-30F1-43AF-AAF5-182141C828C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ceba077729eec016131e952a97cf673c0ed32301","datavalue":{"value":"W793018389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949457$60BD111F-BA3E-4DBC-A321-EE4A173544E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e9df911d8fc52dc907113926085d367d87c0673","datavalue":{"value":{"entity-type":"item","numeric-id":4862762,"id":"Q4862762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f3e15dd210e0e2f3850675202fdee7ccee6bf7","datavalue":{"value":{"amount":"+0.8085371255874634","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":"Q2949457$FB2D1612-145B-4703-8EB4-BA71FA934F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adaf9e5c4cf3fabf8f4ff510bb69d809d2787c6","datavalue":{"value":{"entity-type":"item","numeric-id":4501135,"id":"Q4501135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6d947244048ff5ca04ee17a4a1b15abff38858f","datavalue":{"value":{"amount":"+0.789201021194458","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":"Q2949457$B38F9B5B-49A8-4C75-A939-90213CBD9D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d124ced210b5a910800c0a9a70e8c471fc29415","datavalue":{"value":{"entity-type":"item","numeric-id":4635623,"id":"Q4635623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b4107a50e23fcecae4391b22952d2385312bf01","datavalue":{"value":{"amount":"+0.7889686822891235","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":"Q2949457$71CF2FA6-C1BF-4105-B9CB-AB7219F93903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8769e261c5825650fbe726c0626f3ef75cb68a1","datavalue":{"value":{"entity-type":"item","numeric-id":4236199,"id":"Q4236199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063ca65f5bbb7ab33f0afff8abed9fb2fcc544f5","datavalue":{"value":{"amount":"+0.7808911204338074","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":"Q2949457$C4DD5867-C43E-4DE3-94FE-D58BBFF056E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f58db0bf19693bc9b5dea5a21561da7592d3e3","datavalue":{"value":{"entity-type":"item","numeric-id":1407588,"id":"Q1407588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac16d40042cf3eaa4bcc8a05aad7a478d0dd538a","datavalue":{"value":{"amount":"+0.7754086256027222","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":"Q2949457$79866DF3-CB55-49C3-8CE5-8DC4625A16D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the dependencies of logical rules","badges":[]}}}}}