{"entities":{"Q4012183":{"pageid":6041981,"ns":120,"title":"Item:Q4012183","lastrevid":55174195,"modified":"2026-02-04T10:31:43Z","type":"item","id":"Q4012183","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 67458"}},"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":"Q4012183$E251AF2A-788C-406E-B221-0F991ECE0F91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"758c8a91477e0b0bbcdae5a6552771d513d472e2","datavalue":{"value":"0745.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012183$DE756FFF-510A-4FC4-BEC8-2274A29141ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51a757b982fa228a542a0eda5e145a1f2d4d0dc0","datavalue":{"value":{"entity-type":"item","numeric-id":3490998,"id":"Q3490998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012183$BAE91C2D-36B3-4714-B4A6-7ED515777AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19246252e740d6d71a3869722c3c47fd9e165567","datavalue":{"value":{"entity-type":"item","numeric-id":1187213,"id":"Q1187213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012183$6D2B6F5B-472C-4A29-AA5A-8D18B67EF8EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-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":"Q4012183$28069E09-9584-45DE-9857-3DC23C395D15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012183$7059EFF5-824A-4A65-8CB6-43123537F65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012183$80824A68-F5F7-43D8-A0A1-EA4AD254D717","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f627f84e828b86202bf52e07a44ce4a59e00f59e","datavalue":{"value":"67458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012183$073B5CF6-7EC6-4909-8212-0E2BE14E81A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d87bff0f6d22ba5a13564f956ef6a330b9f227c8","datavalue":{"value":"Paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012183$E1661061-5434-48EA-88D2-3C1160AA7859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012183$8F576C32-783F-4AFD-B71E-7201470EE4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf18fb12cb9788fedd74b3d0182ccca8bcfe45ae","datavalue":{"value":"extended refutation graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012183$EC024C02-5562-45E0-84CF-8C25DAEB6F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012183$3B96B23A-3759-4F0E-8364-BEC7D02C4FBA","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":"Q4012183$4B181A19-55DF-42AD-8152-07EEA5C71470","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a38861aa8c5ba98116a45571edd8abc1a857d15","datavalue":{"value":{"entity-type":"item","numeric-id":3993260,"id":"Q3993260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91ba8c065917d52106074a2d799db450f36dabb5","datavalue":{"value":{"amount":"+0.8758297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4012183$275329BC-BFF4-40D0-9686-969C7BF2D158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae38510929ae82f77b228ac7593b0fcd8b67044","datavalue":{"value":{"entity-type":"item","numeric-id":4916229,"id":"Q4916229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4340d3168444a53dd3021936b5d1106160a5bd54","datavalue":{"value":{"amount":"+0.8711792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4012183$3980E5A9-06CB-4FB3-B0A5-101B9861AE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15537ed68ada7519ac297a92ca22cb271f88c4da","datavalue":{"value":{"entity-type":"item","numeric-id":5426006,"id":"Q5426006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c209c7506c16617ffea6caa413726b2c44cd05d5","datavalue":{"value":{"amount":"+0.8683952","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4012183$86E7462F-BF51-4083-92F5-5BC4993B5316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9725cf36236e7fecbfb6158607afee08c1c3120","datavalue":{"value":{"entity-type":"item","numeric-id":5394603,"id":"Q5394603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf85b154d0fcf1bea3603e14a6a61f8cc94abe2","datavalue":{"value":{"amount":"+0.8486121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4012183$A495C65E-35B2-4753-97DC-42FCB379BA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5bd0fa66fd9009baaa2529908f98e3f28360a72","datavalue":{"value":{"entity-type":"item","numeric-id":5055713,"id":"Q5055713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"071d08455348edad96432c6a36696a38f92360d8","datavalue":{"value":{"amount":"+0.83879685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4012183$EE95C2F6-D610-4646-ACB5-7018318A2B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792336ff1c3b24bda0a585498d74b554cb5ee6b1","datavalue":{"value":{"entity-type":"item","numeric-id":5864202,"id":"Q5864202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369728a59fb7726f0bdb8e64020850c28e88e91f","datavalue":{"value":{"amount":"+0.8360074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4012183$0453F71D-3E58-49BD-9292-6349AD93A0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ca538f9a91f5be72cb599d2b7a970193505baa","datavalue":{"value":{"entity-type":"item","numeric-id":4447245,"id":"Q4447245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d43dc0e780b963240072c828e039c7e96d260122","datavalue":{"value":{"amount":"+0.8318912","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4012183$2ABF03EE-D18B-4ECC-B7AF-D2D2996B48C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"722811d3cc0e3bb9187d00efc938d04abd111fa3","datavalue":{"value":{"entity-type":"item","numeric-id":1098649,"id":"Q1098649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c7cfd4ba4aed89ee7d2a580c446192a72430dc","datavalue":{"value":{"amount":"+0.8299772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4012183$696D8D16-1714-47D5-B576-E501CC6D5ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6287a1d68e12f09801489b946a15b2d058b3bf7","datavalue":{"value":{"entity-type":"item","numeric-id":3012539,"id":"Q3012539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac458cc51d13dbf97bd919d6a64aae1c94e4106a","datavalue":{"value":{"amount":"+0.82876104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4012183$286B5AD4-72C8-479C-A75C-12B0557C7AFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012183","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012183"}}}}}