{"entities":{"Q5369490":{"pageid":7399064,"ns":120,"title":"Item:Q5369490","lastrevid":40692721,"modified":"2025-04-04T09:23:33Z","type":"item","id":"Q5369490","labels":{"en":{"language":"en","value":"Focusing in Orthologic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6792358"}},"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":"Q5369490$5150DB23-F4BD-47D4-BC49-083C40AD0DDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbff909f759453d715321c5d99e490dc2d4a4815","datavalue":{"value":"1387.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369490$350F3B8B-4BE6-43B3-9C28-92AAC56C4D37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f594722cafe5ce1c947afb897f11796df18378c5","datavalue":{"value":{"entity-type":"item","numeric-id":556823,"id":"Q556823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369490$76A0CACB-E22D-4781-9EA2-F5442A0FA741","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eae4cdb5001296cfa1d627ad5453506a5832f064","datavalue":{"value":{"time":"+2017-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5369490$8AEBCA79-7069-4530-BAB6-5D3FCF73B85A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369490$ADFA89E2-0F5D-41DB-8EDA-FA4AC4AE83DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369490$7EF7CF8F-51BE-4090-8557-8EC1CCE55D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369490$F1C536B1-7C11-490A-A86D-A67922A8EDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369490$B9AC7434-F3C8-487F-9A81-2B2AB52199F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f948e70a503ef432ead8896254b142fcc759d95a","datavalue":{"value":"6792358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369490$5F8B82F7-5B89-4116-A184-6F4B37792748","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a63125d4146b0c69c8e312a4f67df6119922af7","datavalue":{"value":"orthologic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369490$3A1868A2-5662-4748-9BF9-0BD92E2DC69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369490$7C92420C-0BCC-48CB-8440-587E83636B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b379a3ae846189ee253b10548fccffcb3870e3e1","datavalue":{"value":"minimal quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369490$C183CDC1-9F31-4C63-8022-C141FCDCC275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369490$368BBFF8-F16A-4C96-8D02-6677F062D72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"790862c178bf7e99d3df53d51b67ade6173815c9","datavalue":{"value":"automatic proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369490$66C7707D-6C2B-40AE-BC3A-CF656EAED212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369490$F3A4B16D-0415-43F0-B920-C25A3B10AF9A","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":"Q5369490$343C75C6-4779-4F97-8A59-B729C5442A0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10ded10a4b850add9f762e7344f6125564ebd6f8","datavalue":{"value":"https://hal.science/hal-01306132","type":"string"},"datatype":"url"},"type":"statement","id":"Q5369490$C75C958E-F0A9-45A5-A44D-FBDF3292E32A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cd96e9d980cadd2eca4a7acc07f23be4ed26581","datavalue":{"value":"W2962687875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369490$C8880120-9359-4B89-BA67-2C9F64DF7A34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f2feb4d888d55c2590d868497b990baebba529f","datavalue":{"value":{"text":"Focusing in Orthologic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5369490$FBCCE652-2CAA-4FF6-B9B1-9F7EBD080F5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef436b6cdd898d52ef75fd3ca23b8da42b5f14e1","datavalue":{"value":"10.4230/LIPICS.FSCD.2016.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369490$83912FA5-9A8A-4797-A20F-D0B0D28F9384","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"540864263bd261a5f88531c7f9b9763d6d26b3a2","datavalue":{"value":{"entity-type":"item","numeric-id":5367044,"id":"Q5367044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369490$58C1FF87-9650-432B-A11E-E775A49D9977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c7453fb2bee8f0f6750a446e105d1ae5311a34","datavalue":{"value":{"entity-type":"item","numeric-id":2505957,"id":"Q2505957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ac8fee2c9272b37ef857db955d75e88739d4236","datavalue":{"value":{"amount":"+0.78860855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369490$7D6E5297-C2F7-4CF8-A14A-FFFE5846F05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f98dfbc52083ed44cb084b15e60a1342249d7ba","datavalue":{"value":{"entity-type":"item","numeric-id":813075,"id":"Q813075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd9702c7b7afd78fd891789bea71e515d7c6cbe","datavalue":{"value":{"amount":"+0.7877415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369490$9A34D651-59CC-47D5-ADDA-1C409F2F6DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eeeb93e74ff091af6be8fcbff4ea645907fefb8","datavalue":{"value":{"entity-type":"item","numeric-id":2946730,"id":"Q2946730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c8c33c0e8d97824e7eae1e13515de3a05e14baf","datavalue":{"value":{"amount":"+0.78288627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369490$442AAC34-2E53-428E-B571-0902075A54D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fa3730fbee54f95c71fbdf56991b7a92f6650a5","datavalue":{"value":{"entity-type":"item","numeric-id":3080087,"id":"Q3080087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64776f1af4069d5384ac4e4bff451141fe868ef6","datavalue":{"value":{"amount":"+0.76436245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369490$784D7DFB-E873-47D1-B43C-AC3DEC914DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76bcbdac6a80ebbfac3d0180a271053cc458c809","datavalue":{"value":{"entity-type":"item","numeric-id":4436808,"id":"Q4436808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89f7c337baa1ff1025604db72d3bf0a15be1e39","datavalue":{"value":{"amount":"+0.7626806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369490$6C2480D1-24A0-4040-8B9C-5B3758FB8E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fceebb954c3f3eb9ff32d939250be2deb621261","datavalue":{"value":{"entity-type":"item","numeric-id":3638252,"id":"Q3638252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3774d33fe83389622928c9205fb2fe3ee6fa598","datavalue":{"value":{"amount":"+0.7606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369490$0982684A-B04F-4947-8BC1-BCF1955A85E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5369490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5369490"}}}}}