{"entities":{"Q2133172":{"pageid":2143915,"ns":120,"title":"Item:Q2133172","lastrevid":55407283,"modified":"2026-02-17T15:47:26Z","type":"item","id":"Q2133172","labels":{"en":{"language":"en","value":"Condition/decision duality and the internal logic of extensive restriction categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7515960"}},"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":"Q2133172$7B9EC640-B940-4179-9B85-C7698202CAF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e064eccd87afd2eb6dd618cff319ec13f494d10c","datavalue":{"value":{"text":"Condition/decision duality and the internal logic of extensive restriction categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2133172$5E92E340-E98A-41DC-8CCB-F4E2E9E3F6A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ddd19080782ef3d0653cf21ee6fa204019c2ac5","datavalue":{"value":{"entity-type":"item","numeric-id":511930,"id":"Q511930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$B5EA329F-D2BF-42FD-96BC-3032A7EFE755","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c80bdea672e4cd14dd9cbe0c46e1f9abbfc09a66","datavalue":{"value":{"time":"+2022-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2133172$1E3BA7CD-6D5C-48BC-A742-7C37C37217BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"950a18e179fa254e9f787764184ef3ad7a8709af","datavalue":{"value":"https://arxiv.org/abs/1905.09181","type":"string"},"datatype":"url"},"type":"statement","id":"Q2133172$FE2BAAF9-6065-4D9F-8F0B-3F5FD11F11E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133172$96999E8E-5122-46F8-839D-244EA11738BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133172$5FFC735D-8434-4098-9889-35EC5B1804C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eabdf0a0355352b9582a51f0d1a0c7aa8bccc6b5","datavalue":{"value":"7515960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133172$D33129D8-C911-40DC-A220-E5010961E62D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133172$80156779-2768-4A09-9EF5-18CA67B45145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24000ef93fa984e41b6d25147553fd94581ef57d","datavalue":{"value":"flowchart languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133172$730C0F80-B4B4-4A6A-88C6-83E98231D029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6cb707c37db9b86ab7e19a8340ac8f765ccaa6b","datavalue":{"value":"restriction categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133172$B5357885-187E-4930-A9CF-F09F1592ED64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca493c80495203523a4398720b5897508622d65","datavalue":{"value":"extensivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133172$6E28FAAE-9261-41D5-993E-71085E89D6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f14588d50692018edc0f5a334c60eeb5cefdd26c","datavalue":{"value":"weak Kleene logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133172$B16EC214-5EB7-4089-9659-1168EB55B723","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6f3ca9d753ae2861de0b87e4b1c904be1c175a83","datavalue":{"value":"Q113317353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133172$B0B58089-2B91-4404-8EF5-91FF8DA2C6C1","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":"Q2133172$C759442B-615F-4B83-B89B-9389B5246E01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa0c665ace6699ff3945daed039b1f507040fc89","datavalue":{"value":"W2945894892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133172$0C7D205D-225B-4ECA-AEB9-26D57350F111","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c89590127f5397bc8ed4b7ff89515c95d81a4f7","datavalue":{"value":{"entity-type":"item","numeric-id":3506694,"id":"Q3506694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$889335D0-66C9-4093-BA8E-FC97CB7B726B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee3b8c13d8c46c314dfbddd00cb0db389fb82ac0","datavalue":{"value":{"entity-type":"item","numeric-id":1137858,"id":"Q1137858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$C1740631-3767-4041-A4FF-A9A0B72C5086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec46a7633ce86d7c1e2bece78377f8d3dcdd857","datavalue":{"value":{"entity-type":"item","numeric-id":5522202,"id":"Q5522202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$2AB638E6-B51A-47D8-BE92-166327964A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72724dd7d6c689a7b75cfb5d2b5463f141bcbafe","datavalue":{"value":{"entity-type":"item","numeric-id":1208223,"id":"Q1208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$66A7122D-B0AB-4541-883F-2A32C493CD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd04d969c418aa9cf82982951db0dfad593b17ce","datavalue":{"value":{"entity-type":"item","numeric-id":5958307,"id":"Q5958307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$FD6637D7-CCF9-40FA-982B-BD84E5DB141F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30b8960949e22d89199b69c7dfa16333a87952b","datavalue":{"value":{"entity-type":"item","numeric-id":1398462,"id":"Q1398462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$CF8BE23E-9B20-4E50-84E5-2C91F599467B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b46e23d879b38d657dfe6724fc4acf7ca3dac70","datavalue":{"value":{"entity-type":"item","numeric-id":5756980,"id":"Q5756980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$8718F7A0-6A24-4648-985A-96F0CE934BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd95d79f3eab60665665be07e829d6169119f15a","datavalue":{"value":{"entity-type":"item","numeric-id":4091917,"id":"Q4091917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$773B516C-17DD-4EA2-AB23-BEA05B199C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fde64b48d10651443eaae13be9a8239bb95c303","datavalue":{"value":{"entity-type":"item","numeric-id":4118796,"id":"Q4118796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$AB77142C-29BB-4D4C-896C-491ABF451ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96c046682d959aa3e7256ea49119bfdfc3e748e0","datavalue":{"value":{"entity-type":"item","numeric-id":4869968,"id":"Q4869968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$95DE8836-D6D6-4E1B-87B9-5462CF29D4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c26a4dc15b0fccb61bbb2267c216f8b939fcd64","datavalue":{"value":{"entity-type":"item","numeric-id":2130590,"id":"Q2130590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$3EF434C5-7794-46AE-B64F-CF61EBF964F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$5F771DBE-F050-4747-A1DC-30664A7D5032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"585bba7069131217415c506aed3dd7e29b69f6fa","datavalue":{"value":{"entity-type":"item","numeric-id":3196356,"id":"Q3196356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$6B6BF028-56B8-4164-A870-A34562E5F340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$B52FC405-5CB2-4461-983D-2D6B79C5ABB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c190f3acb19e579b61b3724268e24d56604f0b","datavalue":{"value":{"entity-type":"item","numeric-id":511931,"id":"Q511931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$8FAC6DFF-8AE6-4D80-ADA3-9D76092A9ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0b7f22325a68096b9e1cae0d748af5791562aa","datavalue":{"value":{"entity-type":"item","numeric-id":4585070,"id":"Q4585070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$EA14149C-FD6B-462E-B5E0-AC8F113A29FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"026dd2a3280a4905e7578381c80842d7e4d46508","datavalue":{"value":{"entity-type":"item","numeric-id":3864044,"id":"Q3864044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$A7E1EB89-CA9C-4E4F-B864-CAB72F1B42E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$28A3939D-E1D4-49F0-A987-0304EE916191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$A12780F2-DEC7-4085-9F11-3254BB998954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32b6a04c7ae3f39028044cc82db69677c3aca2c8","datavalue":{"value":{"entity-type":"item","numeric-id":1744009,"id":"Q1744009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$84A21C48-539D-4ED1-8DF9-BA090C95A226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf3713360879293523009ba1f727ff28d7536c4","datavalue":{"value":{"entity-type":"item","numeric-id":3735051,"id":"Q3735051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$862DE15B-44F0-4BBF-B139-D70DB6D24B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac1fcf052589745ac72ae23fbc9d5d1dfa38def","datavalue":{"value":{"entity-type":"item","numeric-id":3000922,"id":"Q3000922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$D272D800-2BAC-4F3B-A1D9-5EAA27C6D94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ccb3372e9ec447f6c83c6bab2154d4e81794ac0","datavalue":{"value":{"entity-type":"item","numeric-id":3725522,"id":"Q3725522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$A1EAB5D2-D37F-47C1-A697-686E22CA7B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f080d1342ef4a6d16b6b63c8edf6cbdbfd04811","datavalue":{"value":{"entity-type":"item","numeric-id":1093364,"id":"Q1093364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$7346E5DD-D0B9-4BC9-B3E9-F64961937F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70337ba065bc8c076fd60250654bd06725e58207","datavalue":{"value":{"entity-type":"item","numeric-id":4151717,"id":"Q4151717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$CE97A1CC-A21A-41AA-9932-A78765545C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b4d87691b92efedd3c932a9e0f82d8b33f1bb76","datavalue":{"value":{"entity-type":"item","numeric-id":896906,"id":"Q896906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133172$E7D709EB-EE95-454A-AEC8-730DA68F1016","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cb488877e26a5b5a1e2157e3642b45bd3b964e8","datavalue":{"value":"10.1016/J.ENTCS.2019.09.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133172$4142FC21-822B-42CD-AD90-18F5BCC4E806","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9148a0a6142cc381cf6060c27ecaa5bd75d867cb","datavalue":{"value":{"entity-type":"item","numeric-id":3625678,"id":"Q3625678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"259054559176275763d44710fec7a724322550eb","datavalue":{"value":{"amount":"+0.7214434742927551","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":"Q2133172$DDBC3B84-D6E7-4EAD-AD1D-FB92F3038EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81de03220a31091d72c7d8e2dec90302ecb0fc1","datavalue":{"value":{"entity-type":"item","numeric-id":2130590,"id":"Q2130590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45ab55f674683e97f14306cc7b91e483cec5b4a","datavalue":{"value":{"amount":"+0.7206934094429016","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":"Q2133172$977DD551-9F83-4AEE-B7E3-93E70AA53FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407d0eff52d93e2c04ed7b0683ade34d794c7115","datavalue":{"value":{"entity-type":"item","numeric-id":4585070,"id":"Q4585070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25eba8648e6eb335a674fde25046f08d65688b4a","datavalue":{"value":{"amount":"+0.6924983263015747","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":"Q2133172$7724D7AC-CF62-423A-B1DA-5C5CECC660B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9358b1e6ba09f86d312b0017ba9938a74275496","datavalue":{"value":{"entity-type":"item","numeric-id":6593821,"id":"Q6593821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"646bddd5dbeabe5289732493b9b203f921dc83dd","datavalue":{"value":{"amount":"+0.6742273569107056","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":"Q2133172$355DE40C-E2D9-4EB1-803D-9A74A3BF0459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66276c232652fa872f2cd159c53544d05351ee21","datavalue":{"value":{"entity-type":"item","numeric-id":5756980,"id":"Q5756980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49bcb62dc8b43880b48a3e74050b3ba46dc6b31a","datavalue":{"value":{"amount":"+0.6729878783226013","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":"Q2133172$BC306D39-FB86-4C42-A186-B05B6C2DC58A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2133172","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2133172"}}}}}