{"entities":{"Q1694461":{"pageid":1705202,"ns":120,"title":"Item:Q1694461","lastrevid":68151447,"modified":"2026-04-12T21:46:46Z","type":"item","id":"Q1694461","labels":{"en":{"language":"en","value":"Goal-sensitive reasoning with disconnection tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833555"}},"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":"Q1694461$9E27AF40-9FAE-4B9B-8BE6-EECD0E39627D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6151ed39eb0ec916a9033f38eed25f891053a77f","datavalue":{"value":{"text":"Goal-sensitive reasoning with disconnection tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1694461$399D2DF5-DF9D-43D1-AE9B-7B7863E7BBF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba77b0b370426f1f306d5abc61cc303d4ca8f5fc","datavalue":{"value":"1496.68360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694461$A46FC765-00D1-4D7D-9A71-C1F333F38684","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"393973e9e305a3cb5fe4ee35bdbb9fe31ac4ee9e","datavalue":{"value":"10.1007/978-3-319-66902-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694461$5EA574A7-4498-4DF3-9C71-BB6240CCA336","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8ed503fb0928b64ac618540085526ca199cbcfb","datavalue":{"value":{"entity-type":"item","numeric-id":1694460,"id":"Q1694460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694461$23DE3C1A-39F4-440E-8164-5346FF98C0AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3340cc79e75714646430612898cfc312969e0dd0","datavalue":{"value":{"time":"+2018-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1694461$72D106CB-8EA3-4F12-8CB9-76E5D2ACF750","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694461$0BFE2106-D83D-40D2-A7DE-3BD8AEE9F9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694461$62B134BC-53A2-4F54-8773-48B2A54BC949","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5703614de2f9bd7523e5c451c43ae9c2749d7baa","datavalue":{"value":"6833555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694461$44C0C8AE-34B3-45DC-BFF1-E7A5A71AD293","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694461$B8702111-873C-41EC-9088-A81311A0667E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dd547626f7f61a5a377a5c5f0922b8194538c7e","datavalue":{"value":"instance-based methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694461$81291D68-1E55-452C-92B4-CE74FC639AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e773f4ef79ccd645e799b6971c03ad23dbfd65d","datavalue":{"value":"goal-sensitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694461$37D740E6-0FAB-4545-94CB-81DC3B17AF6C","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":"Q1694461$9E5D38DB-1AA3-4E4D-B934-88A17F4014B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b64e9acc199affe52b5e942fd6484c2173ae5bb8","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66902-1_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694461$97B7FC27-BDC7-4F6F-AEAB-6403FC38158B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7746781bc421a2f32866e2bea77eb8de29fb4cc5","datavalue":{"value":"W2752874723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694461$1D509460-0CBA-4FC7-97F8-CD8297018AAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1d683ef670cfe0396ca25a3659cc0c6554128d7","datavalue":{"value":{"entity-type":"item","numeric-id":4539640,"id":"Q4539640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b2093af52911707ef7596ff92a7cee433ca1d5","datavalue":{"value":{"amount":"+0.6785377264022827","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":"Q1694461$6D2D20A7-EE55-4390-875B-A9803B1BA38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676fa17f9c4ed2fbc42976c93fb4c6b0c314d0d2","datavalue":{"value":{"entity-type":"item","numeric-id":2104545,"id":"Q2104545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18e3a4ddcdb647b7ff665399f70aac2d9e604fef","datavalue":{"value":{"amount":"+0.6764747500419617","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":"Q1694461$88DED463-ADC1-4004-A1C4-4526F8EC10AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bfe2283112d88bc5f01fe3ba130ed363ab5f907","datavalue":{"value":{"entity-type":"item","numeric-id":1924731,"id":"Q1924731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"838bc20a6d95a12408c22e3727cc1ea1b01a90b3","datavalue":{"value":{"amount":"+0.6715797781944275","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":"Q1694461$76C406EE-2668-4272-90A4-FB978FE45523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"508f66a783b105d1089223dd9fa68f7ed791b390","datavalue":{"value":{"entity-type":"item","numeric-id":5479275,"id":"Q5479275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fca3ab3e1d372e640305996721fcc4b1c3ad046f","datavalue":{"value":{"amount":"+0.6674217581748962","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":"Q1694461$FCB3DDA8-1A0F-45DB-8CB7-4A6CB10A91D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab80dabc4842ef923e9921c6e9023b17447e0809","datavalue":{"value":{"entity-type":"item","numeric-id":4304770,"id":"Q4304770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b2aa6b82f2b0a716f9eac2da329ce4c93590be","datavalue":{"value":{"amount":"+0.666998028755188","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":"Q1694461$EF407176-9736-4824-A9FA-D008AE1A1E35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Goal-sensitive reasoning with disconnection tableaux","badges":[]}}}}}