{"entities":{"Q3437258":{"pageid":3447961,"ns":120,"title":"Item:Q3437258","lastrevid":88224500,"modified":"2026-06-04T13:58:00Z","type":"item","id":"Q3437258","labels":{"en":{"language":"en","value":"Anytime Approximations of Classical Logic from Above"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5152648"}},"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":"Q3437258$1D49A19C-3571-413A-B6B9-D3E8C3FF0AAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3105ec3c534ab500453a5e138c0d7b12af572de","datavalue":{"value":{"text":"Anytime Approximations of Classical Logic from Above","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3437258$C2362E37-1B23-4B21-9140-ACBB1D3011EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a430ad1bbfbd10aaf8b86c596e01e0ccaa38747b","datavalue":{"value":"1118.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437258$2C31EB90-DE4B-4B9E-B595-305F8458AE37","rank":"normal"}],"P16":[{"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":"Q3437258$1B2C37DC-C4FF-4133-9D51-90C90E3C662C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64768e880dabc12577ee9ac582aaca1ac21d612e","datavalue":{"value":{"entity-type":"item","numeric-id":490419,"id":"Q490419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437258$ED2B04E1-0614-4881-9B84-1E03DB10596D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a2af428023bb1f64e3e9e7c392bd08e7b812892","datavalue":{"value":{"time":"+2007-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3437258$46A70F62-1226-4F7C-9B62-86BAD1B934F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71cba3fa6c4562ff1f3e89a22379c812b49a17f5","datavalue":{"value":"https://semanticscholar.org/paper/f96a1be5a79ccb490c4a511b9a90e5810a0ea145","type":"string"},"datatype":"url"},"type":"statement","id":"Q3437258$DF3102D4-FEC8-45DE-B41E-202D0D3D1CCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437258$DB81C2AE-CFD7-40F6-84A5-E94D48341D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437258$90287D20-8460-4176-806E-FEAFD3B53901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437258$5C7C769C-E2DD-4D8C-B789-BC2F67B6FCC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1db10b34eef94c8d805bd61194815bfe69ce1e1","datavalue":{"value":"5152648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437258$3B7F73C9-C35F-4473-B583-F8860A5C3013","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437258$C80BAB05-E0E6-4D5D-896E-34A29C4FCA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aabacb2bd9bfa003ffe87c04d7c5daaff1d4875c","datavalue":{"value":"approximate reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437258$D846D76B-02E2-4E5A-B0C4-B8629A70F341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437258$CC931FAC-74D1-47ED-AC9E-EB0AE7033978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437258$5112F95E-0830-40AD-956A-AA83A0CD1276","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":"Q3437258$4BF08583-F65D-4B14-90F1-F268E2868B29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d21e86824a5611fb8c49a37de98a5a0f44c514bb","datavalue":{"value":"W2140165121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437258$1362F476-4477-4B83-B3E0-7AF86EE9814E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc26b615d2d76a6529a0317623b93641f6b0875f","datavalue":{"value":"10.1093/LOGCOM/EXL018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437258$80021FCB-F6BE-41D0-B063-FCFF9BD97B52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437258$AB727C6C-9180-436A-83F6-8AD9EEF1B68A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8650a3c952e6eb8d3f7db67b31f142103ee892fb","datavalue":{"value":{"entity-type":"item","numeric-id":4437965,"id":"Q4437965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e939d6e5281c02f53b182836b3d7d2b22a917b51","datavalue":{"value":{"amount":"+0.8173699378967285","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":"Q3437258$5DBED873-769E-438F-80C0-5F51A83CC3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29f5007330d211ffc23879dc7506caab53e34e58","datavalue":{"value":{"entity-type":"item","numeric-id":5394150,"id":"Q5394150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d098ead15460ae89c0b32691b93c582a2845ffe","datavalue":{"value":{"amount":"+0.8099460601806641","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":"Q3437258$A75EC100-FA6B-45B4-B1D2-3B24D188A958","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":"952a2b32556a2b50ca4172c76ae944920ee62127","datavalue":{"value":{"amount":"+0.8071541786193848","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":"Q3437258$F5265292-F773-49C7-9C65-D4A4609C920B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7bd662b571ad447d608875f2273239f2a2f374c","datavalue":{"value":{"entity-type":"item","numeric-id":4924531,"id":"Q4924531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5d5ba8e60658d267e8755e0f96ceff88dfcb308","datavalue":{"value":{"amount":"+0.7576809525489807","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":"Q3437258$DD522131-94D7-4FC1-B3F9-F358F7FFA5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bf831778c7f9dbef0922ef78955966b3a9bed53","datavalue":{"value":{"entity-type":"item","numeric-id":1267774,"id":"Q1267774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b62498b0d0349f4bdab30d117b714f52c79166bd","datavalue":{"value":{"amount":"+0.7519993782043457","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":"Q3437258$060007E1-65B9-462E-9E4E-96BC5CAE7B09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Anytime Approximations of Classical Logic from Above","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Anytime_Approximations_of_Classical_Logic_from_Above"}}}}}