{"entities":{"Q1868244":{"pageid":1878986,"ns":120,"title":"Item:Q1868244","lastrevid":71570085,"modified":"2026-04-13T23:07:51Z","type":"item","id":"Q1868244","labels":{"en":{"language":"en","value":"On different proof-search strategies for orthologic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1901328"}},"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":"Q1868244$28620E91-05AE-437E-A328-10EC0E4AF837","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c6b1501f5be60ea0cc0db70a0aac5be13c90949","datavalue":{"value":{"text":"On different proof-search strategies for orthologic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1868244$97C5FBE3-FA31-44B5-A876-8C13B98759AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75ad4cc9a79dac36db677eef599b1b37c47a9731","datavalue":{"value":"1015.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868244$95E4A1BC-CF4E-4AA9-98BE-EE76FD14F467","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e9bb817bdc6ffbd333cd5997b88d1224ca303ad","datavalue":{"value":"10.1023/A:1022993408070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868244$CD702953-A14C-4A8B-AE94-18B44BB6CE09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868244$E8723552-7177-436D-8047-9AC374F268E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b4c9a3b60ce1a7957f6ef922f2b322f43dfc45","datavalue":{"value":{"entity-type":"item","numeric-id":1868243,"id":"Q1868243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868244$029A8439-04CD-4BA2-81F5-BEEAB0435ACD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868244$A080B0E8-70DD-4BC6-9D05-866DE9EFAF06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae7235402c0b574ed2e2213feb9e21452b645cac","datavalue":{"value":{"time":"+2003-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1868244$4326457F-BE98-4544-B55B-A5DCE21B43F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868244$D75C761E-ED7D-452B-B5B4-093EFF281551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868244$3CF81E88-BD12-41D2-B5D4-ECC213034A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868244$C7598722-15E9-49F2-8E0B-11500E2A5F4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d454d53d80ba0c453e3fe50db1a0180e4a4d041f","datavalue":{"value":"1901328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868244$8AF01B5E-37A4-46F4-8FD2-F40ED8C3189D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a63125d4146b0c69c8e312a4f67df6119922af7","datavalue":{"value":"orthologic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868244$ACE20868-E7F4-4A43-8FAA-354ABCE9D9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b379a3ae846189ee253b10548fccffcb3870e3e1","datavalue":{"value":"minimal quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868244$1081DDB8-EB06-4D09-9B65-B774E859316A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868244$22EDEF63-1466-422C-BE71-971C9137B91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868244$039A35D4-AE2D-421A-8D62-BBCEAF459DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868244$A91BCA7D-0295-4254-9454-7AF2A80DA63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed24286b004bba008a87b319cd44ea29534b09c1","datavalue":{"value":"polynomial decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868244$0D861E75-7266-42A4-A339-063C87DF52DB","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":"Q1868244$621282F0-FA31-4AEE-B063-7C009E3FF86A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aed93b5020e90c9fe050062629742ed587efcc25","datavalue":{"value":"https://doi.org/10.1023/a:1022993408070","type":"string"},"datatype":"url"},"type":"statement","id":"Q1868244$633D3BCC-B3B0-43C8-B0FC-9527438BD966","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34d21b128724bb8a68c105d02db72a103dca5a61","datavalue":{"value":"W1506120207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868244$6197AB37-08A2-4CFD-8487-C26AE13DD8C7","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":"3bfcd480aca0b560947ea5dc967e5cda9d6d4846","datavalue":{"value":{"amount":"+0.8317680954933167","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":"Q1868244$74965084-6EEB-4A29-9498-CC7590B64F95","rank":"normal"},{"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":"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":"Q1868244$3113C143-88E7-4CB4-9013-A17D30055636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba48486552ebaa237c6d52fb5628832e939a540f","datavalue":{"value":{"entity-type":"item","numeric-id":3583025,"id":"Q3583025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00c4c1ca212a97103973bd342a9ff163c78c2faa","datavalue":{"value":{"amount":"+0.7678623795509338","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":"Q1868244$DB81EADB-8990-42E4-A292-0272E9D9BD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3328acb14c381645dbb1f9eb31b744a4a34bbbc0","datavalue":{"value":{"entity-type":"item","numeric-id":5210762,"id":"Q5210762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b41ae3403814310160337900edf8640a4a31dc","datavalue":{"value":{"amount":"+0.7528675198554993","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":"Q1868244$71CB6C8E-4422-42EE-9DEC-353F7E3A85ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796c0588e44c93936430caed071d94b5e4a4fd57","datavalue":{"value":{"entity-type":"item","numeric-id":2848048,"id":"Q2848048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf1945d9a738ad4a17c82ff3a657e4403f20724","datavalue":{"value":{"amount":"+0.7512776255607605","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":"Q1868244$D534C12C-4189-4AA8-9D0B-9481352FA7A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On different proof-search strategies for orthologic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_different_proof-search_strategies_for_orthologic"}}}}}