{"entities":{"Q5878382":{"pageid":7907933,"ns":120,"title":"Item:Q5878382","lastrevid":97500392,"modified":"2026-06-05T14:54:12Z","type":"item","id":"Q5878382","labels":{"en":{"language":"en","value":"Input/output logic with a consistency check -- the case of permission"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7655717"}},"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":"Q5878382$C3AA81A1-938F-4A9B-AD87-F34462999F6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fc3df2ce460dc92fec0226aecf4eec0f1f30f51","datavalue":{"value":{"entity-type":"item","numeric-id":1725739,"id":"Q1725739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878382$E6FE647D-F9B1-47E7-8F16-81964433D4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07e0564590a6b8b48e6591b0958830c188e9fe1a","datavalue":{"value":{"entity-type":"item","numeric-id":383045,"id":"Q383045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878382$74158F29-417F-498E-979E-E513D22CF510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8562637550295888a676099b1ca72fba25ae5858","datavalue":{"value":{"entity-type":"item","numeric-id":185573,"id":"Q185573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878382$BD6EB194-252D-476C-BD23-F3FDA4EFB6B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d04dd3e40725c0d6a55744dfb3e1d2c883d5cb4","datavalue":{"value":{"time":"+2023-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5878382$8E136DC3-16A0-4E37-BF60-41D867BE9681","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878382$83E8F9BF-78F7-4BFD-A1E8-DA60C30D6F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878382$66067831-3E58-4205-AFEB-D6D289965D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878382$FC1877FA-6FFF-4BA2-8E8A-B6D80A94ADBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878382$EED52E1A-9786-448A-9E89-6B19729D979E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39211f5bb51ef4fb925b487c1f506fe107ac6c0c","datavalue":{"value":"7655717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878382$B6C2B7A3-E27B-49E9-80F4-47067CB03DD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878382$DE117717-03D9-45B2-AC66-80FCF3037AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ca296391b1d2411f9969d4154b1e8b1036462d5","datavalue":{"value":"input/output logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878382$2F86F1E4-A981-44D5-B797-238A2E4B75C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f33bfcf9efb5ea007348fc5db075e128a32c28","datavalue":{"value":"permission","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878382$FF26C31F-D357-4458-B79A-A85655A16843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1207a0ad09160a749ae8339c6b88a4577d1eb63","datavalue":{"value":"normative system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878382$E790E3AA-0663-4EA3-87E9-1BBF26DC8F2D","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":"Q5878382$0498609F-6594-42DB-BBE4-0E0EF7BF1F2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9617ece8866900ecf719bdafbe3274329640486c","datavalue":{"value":{"entity-type":"item","numeric-id":1402584,"id":"Q1402584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b123d9a251153a148db2dc6d219585e9b325e92e","datavalue":{"value":{"amount":"+0.871819019317627","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":"Q5878382$1224FA3C-1A1F-4FB8-A35F-D774225D4021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b74edd2021575edc446ce0790421ab16e693423","datavalue":{"value":{"entity-type":"item","numeric-id":5935791,"id":"Q5935791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4a9091e260f23ff95b1d27c28394f5d3b429087","datavalue":{"value":{"amount":"+0.8330513834953308","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":"Q5878382$02D6F690-2686-4808-AA78-A04195EC28C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3862695a9ff69ff4d384a27db337cb71f69ae40","datavalue":{"value":{"entity-type":"item","numeric-id":975881,"id":"Q975881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d585ef37b4bb9843243f8d9ed92c29b8df5dcb34","datavalue":{"value":{"amount":"+0.8088628649711609","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":"Q5878382$F6242224-CDD1-44C6-BC3A-A7C413F704B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45dccbc3c270fc0b85dd67f072bcefb3da2f6b32","datavalue":{"value":{"entity-type":"item","numeric-id":2701987,"id":"Q2701987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac4ff843dc1802b0af00ee84f7e00e6f85cbaa8","datavalue":{"value":{"amount":"+0.8016893863677979","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":"Q5878382$47DDB7BF-80CF-4137-80B4-1A743C2BA322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3790561f0513e72a96c6f4c272d26681ee62b6d5","datavalue":{"value":{"entity-type":"item","numeric-id":332074,"id":"Q332074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1bbca6985219b0f158b194db0547c7c5f349723","datavalue":{"value":{"amount":"+0.779366135597229","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":"Q5878382$B592B6D3-692B-4E9B-9DAE-278E84BD56B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Input/output logic with a consistency check -- the case of permission","badges":[]}}}}}