{"entities":{"Q385021":{"pageid":386788,"ns":120,"title":"Item:Q385021","lastrevid":61438035,"modified":"2026-04-10T23:22:34Z","type":"item","id":"Q385021","labels":{"en":{"language":"en","value":"Semantics and proof-theory of depth bounded Boolean logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6234586"}},"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":"Q385021$B1DE8DFA-8BF1-4B3C-8040-6FA88AF17213","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"746555b8440bd2e4748ac5f76e7a231e027b5e7a","datavalue":{"value":{"text":"Semantics and proof-theory of depth bounded Boolean logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q385021$67675BC6-44F5-4808-B32B-72175CB40E13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93f970b2434adaddf1c00262ec381fd02efc779f","datavalue":{"value":"1315.03107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385021$2A402D8A-3583-41FA-8070-9DED86A3C462","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd74b551dc598d94e51622f5fee0611a3782ba4c","datavalue":{"value":{"entity-type":"item","numeric-id":281147,"id":"Q281147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$06A2B069-D05D-49E3-B1A8-33E587AC7F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"538aac5482944b23b9509c42900acf09751a5dcb","datavalue":{"value":{"entity-type":"item","numeric-id":385020,"id":"Q385020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$855A1831-ABC9-4365-A996-876D55910BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$9ACA2F87-8982-45F8-983D-EDCE318C3324","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$83E24B75-9BA7-4295-9F26-83851443AE00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a5446951ef3b18cc54f2eecd6b1de1ff40852bd","datavalue":{"value":{"time":"+2013-11-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":"Q385021$91F41AAD-E98E-41F9-B2D2-46D6F06E3DCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385021$0199BE41-C49F-41A7-90A3-CB87A19A9A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385021$7C1153CF-83B9-4A7B-8FA1-E20B771D12D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385021$3F462638-EECC-4A3A-9884-08763ECB0CF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e92bde0bb2abd2af5bcc0599d766084f7ad0536","datavalue":{"value":"6234586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385021$5C7F94AF-AB98-4A5B-A118-6ECD047C1159","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f99b16facd6e000c6df5f71194c7fc9ab564413","datavalue":{"value":"Boolean logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q385021$C68C9E78-0A75-4665-ADA9-AFDEBBC68DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ffd2ca9452a95455f19f35bfb3f100bed2aeb1","datavalue":{"value":"tractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q385021$FFD5DF76-5358-4769-8118-BF6686871A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q385021$E932712C-3154-4A1E-9B9F-DD20F666291E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q385021$BB8E0053-3F0A-47D0-B19A-5A9ACCFFC083","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":"Q385021$C38116FB-9CE4-46CB-BF27-BD6DD3D7107E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"308ff9078d47f38d79d541c5b73ab57eb446b84a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.02.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q385021$3E827CEC-9257-4981-A6BC-DF1D9B52356C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a5e248afdf0e7892561536b1cfa9e5bc1bfe4be","datavalue":{"value":"W1977750248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385021$1045514D-D6BE-482A-AC58-48BEBD128B75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"43cb3ade3f2f5cdf738cd2fdc612982bf7c12bd6","datavalue":{"value":{"entity-type":"item","numeric-id":3981456,"id":"Q3981456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$16B9E858-F1F4-4CE1-B0ED-CD34B18724CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf92dfbbcfacba489881178d89ab3b4aa072827","datavalue":{"value":{"entity-type":"item","numeric-id":813081,"id":"Q813081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$996E3E1E-0953-4E61-BD80-825B3C8C41EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e1d811262dd8c2250bea4bc0f676125b4798fd","datavalue":{"value":{"entity-type":"item","numeric-id":4539639,"id":"Q4539639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$BDDCC654-F571-4450-9AA9-5AF8D6C8DED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb55475d99369e40b7ba59264ce532a5b1bcecb","datavalue":{"value":{"entity-type":"item","numeric-id":817707,"id":"Q817707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$91CEC625-2ECA-42B0-BFDA-71A13C4D3835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$572E1700-AB43-4887-9FCC-FF3D78108318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51868bef8fe2d8ea930682ac301e3354d97600a1","datavalue":{"value":{"entity-type":"item","numeric-id":5387845,"id":"Q5387845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$D3E1336D-D959-4F5B-841F-0271C4650F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec0fbfbb2d9ba452624e996b4b5b3ddc9855b0d","datavalue":{"value":{"entity-type":"item","numeric-id":1040785,"id":"Q1040785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$5ED6EB22-B979-4339-92C4-B1888B15262C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba598b353df13ba5ae2c7683f441b0dc7d3ee8f","datavalue":{"value":{"entity-type":"item","numeric-id":4342079,"id":"Q4342079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$5D4B9176-DDF7-40AD-8EA5-C43CB42D66A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$5C42368F-CD87-4386-8D28-DB25C41E6D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$9A942FE9-28E1-4232-94B4-6448E9095E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45588cd7360799e3b56381b497f12f36a21e9b0f","datavalue":{"value":{"entity-type":"item","numeric-id":1314288,"id":"Q1314288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$C678319F-752A-424A-933C-317F20F4F16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf730892ec5be6c57741cf68a72855f6d08e524f","datavalue":{"value":{"entity-type":"item","numeric-id":2753597,"id":"Q2753597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$4DBAC60F-F2D9-4E8B-89D2-50DEEB757BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b39cdbbd8978f45d030adcda0de91bc385038cc","datavalue":{"value":{"entity-type":"item","numeric-id":3007254,"id":"Q3007254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$E10B9CC6-3A87-4896-A1FE-3CE6CF746E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f22ac24cc3421a2cf26df2cd16b95eff98eb01","datavalue":{"value":{"entity-type":"item","numeric-id":3584010,"id":"Q3584010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$B8FD4373-855D-437F-B019-57C82F293964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03de11e69622aff91f6a7f4b1e99e0de1b8df888","datavalue":{"value":{"entity-type":"item","numeric-id":833033,"id":"Q833033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$CDDA1E2F-D8D9-4498-B435-B8DCA748A5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19a13d21f909bc5d01ac054faba1d283210dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$47B6D82B-0B62-44A1-AD00-C0FF93EC63F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e31f26f94b470173e5d1cdabfc7b082904092b","datavalue":{"value":{"entity-type":"item","numeric-id":1267774,"id":"Q1267774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$5A367340-6092-4594-BD85-C05115736C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$D698E323-59CF-4789-BFAA-5CDA39DD1461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"060b530754d490a19e08b3b07500ad807aca5cf1","datavalue":{"value":{"entity-type":"item","numeric-id":5394150,"id":"Q5394150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$C25E814E-BD41-417C-BCF6-4228AFCADF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eb77549c28b308520e988457e315e95b419d84d","datavalue":{"value":{"entity-type":"item","numeric-id":5311203,"id":"Q5311203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$48F5C073-5DF7-442B-B52E-CC30276F2475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6681413628cd2724814405144f06ffc4f05fa2ea","datavalue":{"value":{"entity-type":"item","numeric-id":851192,"id":"Q851192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$861C0B3A-97B2-484F-B0C1-C478351FD6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fee2bc2c7df750adbfd4dae0ec0e4784ba9b39e","datavalue":{"value":{"entity-type":"item","numeric-id":4820464,"id":"Q4820464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$8336AA34-02E2-4D8D-B6AD-583062040169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850e209c1771999a2a8c78b29e4009785ac6e1fd","datavalue":{"value":{"entity-type":"item","numeric-id":2369011,"id":"Q2369011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$CCE42CD2-EC08-4027-A9A9-F3F8685D5499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26872ab8fa659504bc588a102952ef17f171c9d8","datavalue":{"value":{"entity-type":"item","numeric-id":2716918,"id":"Q2716918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$C1B7DBE4-6AA1-4716-AF57-06337FE35AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$B5C2ACFB-FAE7-459D-AD37-B0A9BB3801BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e9e44d7ffa3e35b73497e32253991279784e6a","datavalue":{"value":{"entity-type":"item","numeric-id":2751354,"id":"Q2751354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$6BCEDBBD-018D-44E0-A3C1-3F03CC880CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea5efcdf6f489fd488433ed1016608e720ae6fb","datavalue":{"value":{"entity-type":"item","numeric-id":5666510,"id":"Q5666510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$DB8C6536-0C22-4725-8CCE-116AE3EA3433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a568888be8b5be4fdbfd5a43fc3024e643387af5","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$E8DB80A0-2123-42AB-9849-A6B839754C51","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":"Q385021$28531D31-A16C-44E2-8AF9-BACEFA62076D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"522accd2efa7208487327ed8e29af94611a8d5de","datavalue":{"value":{"entity-type":"item","numeric-id":4860661,"id":"Q4860661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$7A07C3AF-0D07-4FA6-A42E-D04B8A16E7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"679422b48af6293fe1af65299b808f109915509b","datavalue":{"value":{"entity-type":"item","numeric-id":3518563,"id":"Q3518563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$3406660F-D218-4948-AFA2-8D37CD6F1C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"044acea495e253462cdec6e5907366fbe16a6c82","datavalue":{"value":{"entity-type":"item","numeric-id":2481244,"id":"Q2481244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$A3E16544-9DB7-4E91-B072-597C007A7EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385021$910EDBC0-4990-4BF3-8A89-BA6E5B8E02E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e1ac49f15952c5fa23fd1511040a66cc5b03e17","datavalue":{"value":"10.1016/J.TCS.2013.02.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385021$9108B97E-545D-4F9D-9B7E-8645B255A9E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db324af79eeaf8407a4dcf4b29ced5b5da42f3e","datavalue":{"value":{"entity-type":"item","numeric-id":281148,"id":"Q281148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c914520addc551b3aa7578b857e6c7ed5c5c5565","datavalue":{"value":{"amount":"+0.8454073667526245","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":"Q385021$C25CBC11-9440-472B-B06F-679993245CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab61ce7d865a6907d5bacbc5c327202562a7c857","datavalue":{"value":{"entity-type":"item","numeric-id":5039098,"id":"Q5039098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f13dd4e633354bd7e42ec29b8491821be4652e","datavalue":{"value":{"amount":"+0.7957152724266052","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":"Q385021$5AEA934A-1A9E-429F-A08F-B13A319F9E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"399dcc203081bb6f779deb66c8b135215cf87c8b","datavalue":{"value":{"entity-type":"item","numeric-id":3584010,"id":"Q3584010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9c26f3502da64adf7cb8e5c6ff75831bd12fa9","datavalue":{"value":{"amount":"+0.7769762873649597","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":"Q385021$460CC875-C3F9-49F9-A9DE-997D787AA89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93078e331486de2dccf83a795b4046b83b551d09","datavalue":{"value":{"entity-type":"item","numeric-id":5311203,"id":"Q5311203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26bef87bcdc4369b4f743bdd1949a4d366387b8a","datavalue":{"value":{"amount":"+0.7457929253578186","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":"Q385021$77AADFAB-E737-436E-BED0-D19612BE8469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb0dcbe312ff62d3b0f5f7e9355d91e6d6db623b","datavalue":{"value":{"entity-type":"item","numeric-id":6485184,"id":"Q6485184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e4e2805b31dbcf2300656e6b295152f9a379e8","datavalue":{"value":{"amount":"+0.7437953948974609","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":"Q385021$D172743B-4D67-4013-9494-35D07F82785D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics and proof-theory of depth bounded Boolean logics","badges":[]}}}}}