{"entities":{"Q5213617":{"pageid":7243187,"ns":120,"title":"Item:Q5213617","lastrevid":53654723,"modified":"2026-01-25T12:23:08Z","type":"item","id":"Q5213617","labels":{"en":{"language":"en","value":"Hypothesis-discharging rules in atomic bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7162492"}},"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":"Q5213617$7224B56B-E81D-4E5D-BAD8-F17714864DCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9d2086e8e13c2ac6b5ae908a4a8474741b73d56","datavalue":{"value":{"text":"Hypothesis-Discharging Rules in Atomic Bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213617$1CA9DCC9-B617-4E06-8A5D-E971D4D4C944","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70e8d20b279396972cd28a7df1bde21199f1db97","datavalue":{"value":"1429.03193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213617$A3AA8855-FF82-4C53-863D-2CC0B2E06108","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa13cfdbfc4f0adf26d9fe90a65868a3545a32e8","datavalue":{"value":"10.1007/978-3-319-11041-7_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213617$0C02B058-0C4E-4F40-AA97-13C2C327AE9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"781421375c558c7411a54df0fd22d89af29c51aa","datavalue":{"value":{"entity-type":"item","numeric-id":383067,"id":"Q383067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213617$B83D2C32-7288-4CC3-B6FF-D1C01F3C1995","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"751fc4d3c43bb9e144ea47418b6cb8b246d341ae","datavalue":{"value":{"entity-type":"item","numeric-id":5213603,"id":"Q5213603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213617$91792042-B0BC-4FA4-85A8-B3BF16721280","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad921148bded2cab24e82d2f35423071b09a7f35","datavalue":{"value":{"time":"+2020-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5213617$9E2C0358-0177-4BDD-B9A0-DF6C085B2013","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213617$C40375A0-E244-4DEA-90E8-89EB15B2CCD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a22406440eab0bfc0603bfe8582a2ab11cd69fb4","datavalue":{"value":"7162492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213617$D6996E8C-91C1-4D02-AB8E-FCB284B16B17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765fa60e3acc0b49e25d1c1e6ed374b87421da59","datavalue":{"value":"assumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213617$5C3118BD-421E-47DF-9A52-B0B6841907B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cf644698e5701ba8fca5396510552b3f25d2bfb","datavalue":{"value":"atomic inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213617$2A6B209A-CE69-4B6B-ADA7-4D5F0BDE1976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22752156951f19706ee6c58df97a51e27993f275","datavalue":{"value":"discharge","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213617$4BFF7D4D-4DE0-4ACC-8A28-F6D7F1B5BE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef23eca485d4406ba22b1553d154f0247ab251d","datavalue":{"value":"extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213617$5A06E239-DF08-4BC9-A945-F3FEB09BD75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5194115f0ad4456cfdcc257f33658d953ef9239e","datavalue":{"value":"hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213617$BC754C5B-EA7A-40C4-BC03-9DE9A1685351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8376a09662b67ff600c57220464c9238631343bc","datavalue":{"value":"inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213617$4F42DA6F-F342-4D86-B7A1-D36E5ADBFD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213617$BC8357E7-D860-4100-BC70-9C476FA95E76","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":"Q5213617$9B70DFAB-C8FC-433B-A7E3-D06005D22504","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb4821b20f0b61be873361b9fb9ef6c32c4b76df","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11041-7_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213617$2A203B15-D9F2-40A5-9135-AFDA16E8E7B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8be95f8cc727dfd56ba4e32fdf89d374b1a633a6","datavalue":{"value":"W334558148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213617$909A62B3-D859-4BE4-8576-7EBFB24B97C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0251f975d77253b6649a57153c70166d676c637f","datavalue":{"value":{"entity-type":"item","numeric-id":5176674,"id":"Q5176674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213617$E438C416-69EB-4B49-93A5-08574ED29C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072712b6d53cfe05dd7fb5aa1da4a72ccd337d75","datavalue":{"value":{"entity-type":"item","numeric-id":5499599,"id":"Q5499599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213617$FF04F20B-8C22-44B0-B4AD-271F33E74DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213617$FA50C6CB-8FC2-4922-8FB0-D21FEBD77BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"719d8326283b4d2b8b03782fd1f321d045f4802f","datavalue":{"value":{"entity-type":"item","numeric-id":4648470,"id":"Q4648470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213617$D23FB61A-57F7-4488-9600-39E1ED7C7D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213617$ED3783EF-49B8-4D33-824E-01145A730FC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22909c9d9d40ce9f0e3d30eee47a036e5aa0459","datavalue":{"value":{"entity-type":"item","numeric-id":383062,"id":"Q383062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eaa7348f9a486cf9ad49c9348fb356d418b0718","datavalue":{"value":{"amount":"+0.6355041265487671","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":"Q5213617$BF0C0450-6CF7-4AD8-9EBD-F3F73A34591E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c8d2e91d3d2636521c12ab4034e29f3604f1773","datavalue":{"value":{"entity-type":"item","numeric-id":4644597,"id":"Q4644597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d71d58c34074d7dfe97f1e1c975db5d0ec47172","datavalue":{"value":{"amount":"+0.6321612596511841","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":"Q5213617$7C5FE738-F038-4C65-8EE6-3BADB28CCB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3aca3e817b17952bfad6889caea08c136d4ccb4","datavalue":{"value":{"entity-type":"item","numeric-id":3119360,"id":"Q3119360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3423d1e5ca2cc67ef380b47356164d32dd2261c","datavalue":{"value":{"amount":"+0.6306298971176147","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":"Q5213617$C10A5EDE-EA67-49FF-91B9-D2F3A283C8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"980115639711bb7eb092310c36654db5fea07f5f","datavalue":{"value":{"entity-type":"item","numeric-id":431693,"id":"Q431693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c1bc61225a6368cd4fabe7a36bda24b9a5cece","datavalue":{"value":{"amount":"+0.6284613609313965","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":"Q5213617$A7FF86D7-C6D8-4E56-BFF0-7CDA4D193EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"648eab57ae65c918c978e55e2e738a9dcb240161","datavalue":{"value":{"entity-type":"item","numeric-id":4924012,"id":"Q4924012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e1fff63d454f1c9b3bf40526b38c5f4c513eab0","datavalue":{"value":{"amount":"+0.6253696084022522","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":"Q5213617$747B43C2-C9D8-4A27-AE31-78F791969CA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5213617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5213617"}}}}}