{"entities":{"Q5367044":{"pageid":7396618,"ns":120,"title":"Item:Q5367044","lastrevid":96057842,"modified":"2026-06-05T10:19:07Z","type":"item","id":"Q5367044","labels":{"en":{"language":"en","value":"Focusing in orthologic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6790143"}},"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":"Q5367044$6D5104A8-5633-4910-A7E9-C6CA3F7E72C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df96016e500a5deeb8633c6cc7cfeafff3f2a7f8","datavalue":{"value":"1459.03096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367044$DA258098-0843-450B-8E88-D187D04BF97C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cad868fbe018b3175783dbd6b3ffc5033de687b7","datavalue":{"value":"10.23638/LMCS-13(3:6)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367044$EFEE0097-F27D-4A0E-B8D3-8710B0239289","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":"Q5367044$7E2AA667-EF2D-4387-9F3C-E48B35D60AAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0381aec861f5a199f46f1776607b0e02f2cdf4","datavalue":{"value":{"time":"+2017-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5367044$2B56E850-23CA-41A2-B7DF-72B3DDDCD8AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e09adf7f8c895b025186ba14da3456506448c6a","datavalue":{"value":"https://arxiv.org/abs/1612.01728","type":"string"},"datatype":"url"},"type":"statement","id":"Q5367044$BB027D25-E467-4B75-B1A7-11D86BE9A373","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367044$C739199A-6463-43AF-B5DE-A7E67E57A838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367044$94538D0E-E8CE-4514-A4D9-D4D74B028BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367044$351B7512-CF6E-4B76-BFBD-37FB0AB383FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367044$81A14ACA-C8BA-49B9-99FC-F42CB000EABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367044$6D2143C0-9103-48AD-A753-FF9A8985C86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367044$E5C53B2A-478E-403C-A494-47C65C471939","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ca5f95ce988cedb49c78042ea85d22f685b397b","datavalue":{"value":"6790143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367044$34289B24-36F8-441E-82C3-1C1C0FE6F3A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a63125d4146b0c69c8e312a4f67df6119922af7","datavalue":{"value":"orthologic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367044$12A33420-3623-4D59-9A99-436E36BF9724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367044$436EAA20-555E-444E-9A0D-72BD39D2A844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b379a3ae846189ee253b10548fccffcb3870e3e1","datavalue":{"value":"minimal quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367044$4EE77CE2-8F6A-440D-BF18-BEE59B26FEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367044$D2066DF2-5165-435C-A507-9C5A743CE7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"790862c178bf7e99d3df53d51b67ade6173815c9","datavalue":{"value":"automatic proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367044$054B9524-B738-4AA7-807A-EF6D8817F4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367044$6FDFEB1A-68B6-4145-BB96-A25215BAFE99","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":"Q5367044$F263F718-6708-4A25-A264-93D60EDFF544","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914789db13fe1a34e9413c7b1e18f6637b60cb11","datavalue":{"value":{"entity-type":"item","numeric-id":5369490,"id":"Q5369490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c035b7adbdc5e72c9b94e9a06f55386fdbe2d1c9","datavalue":{"value":{"amount":"+0.9985337257385254","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":"Q5367044$EFBF670A-75AC-4ACE-A07B-3467BE07B5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc080ac02616dcf5eaaedaddf0ceb0dd268bb5ce","datavalue":{"value":{"entity-type":"item","numeric-id":1868244,"id":"Q1868244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f9fe07ebc22184f1f8426de3b0490d5861159d","datavalue":{"value":{"amount":"+0.831585705280304","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":"Q5367044$2E56924E-06FA-4353-AD0D-671DDC8F2CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d2444be6a9bb8efd2eb6a804bd94bdc3260a86","datavalue":{"value":{"entity-type":"item","numeric-id":5742614,"id":"Q5742614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f07de1f4f5b7aa9cd099fea9c1df97551c01b0a","datavalue":{"value":{"amount":"+0.8146612644195557","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":"Q5367044$A62947F5-8508-4BCD-92A9-8C10C2C6D00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9e614c950fe01190ab217e191be9d1b173c28c","datavalue":{"value":{"entity-type":"item","numeric-id":1264370,"id":"Q1264370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0917bc3d998b4a3dc78c8344bf9019013bc6bcb","datavalue":{"value":{"amount":"+0.789076566696167","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":"Q5367044$BDACE6A4-DE97-49FB-B167-14F9072DE263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eaeae3d30e1ea51c387009d9460fa0f84319494","datavalue":{"value":{"entity-type":"item","numeric-id":2915680,"id":"Q2915680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be508ac36a13926a375ee41fea384fa6b02497da","datavalue":{"value":{"amount":"+0.7726590037345886","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":"Q5367044$EA106DF5-FFA3-4431-9B4A-974E9958F58C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Focusing in orthologic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Focusing_in_orthologic"}}}}}