{"entities":{"Q1098648":{"pageid":1109400,"ns":120,"title":"Item:Q1098648","lastrevid":66325377,"modified":"2026-04-12T09:19:06Z","type":"item","id":"Q1098648","labels":{"en":{"language":"en","value":"Resolution on formula-trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039344"}},"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":"Q1098648$60F54B9A-1CC1-4E64-B0FF-B3C28CB91E68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa0f012bb721e29c15fbc1b17c1a5bdead87a27b","datavalue":{"value":{"text":"Resolution on formula-trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1098648$875DA27D-1B2E-4F93-BAC8-7BE10E16D7A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37f5dc1e76a8dec600b2a54334042770ced07ac6","datavalue":{"value":"0637.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098648$8FD0F144-9BCE-458A-9935-6DBEB3577CD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d04d23fe3a93e8f3ce01f473c9b6af0d3ede7ef2","datavalue":{"value":"10.1007/BF02737109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098648$96711F39-27DE-4F10-ADA3-EE8F38C6E8EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20f21b9d35660dda32f3ad1d3f12ca31aa7431bc","datavalue":{"value":{"entity-type":"item","numeric-id":1098647,"id":"Q1098647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098648$3FA05F04-4874-4B27-8F62-111E66A0A927","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098648$53C41567-E9F7-4E43-B6AE-13F06A5F4B1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1098648$9D002517-D156-4229-B43D-0800D3E4210E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098648$866AECB2-FFE9-4FBF-8E9B-60D3AA84222C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098648$5DC2D638-C216-45C7-AEED-832E660DE018","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16d6564e49fb6f7be5ddd7b232fec04400d39f6f","datavalue":{"value":"4039344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098648$A028AA5E-3072-49BF-830A-080153E44115","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfff364d2cfb5adddc2b1eb5c9c51761e59ed904","datavalue":{"value":"nonclausal resolution calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098648$1544A661-EA83-4F55-8FC5-974710FF0460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b0067ce49344732d31f16944f98c397af50c4e4","datavalue":{"value":"formula-trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098648$FE5AD192-12D0-47F1-AC75-68E7A98092F4","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":"Q1098648$C2EE104A-F397-4524-A91C-ED9680113AD0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"87252be029041904c8b86f96c0dcc62452dc13ee","datavalue":{"value":"Q56459095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098648$3D587470-05A5-424D-8B41-C0E0CC9B1331","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2c2b382c3725436e250ac6e5f951d42a292c14","datavalue":{"value":{"entity-type":"item","numeric-id":3954845,"id":"Q3954845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098648$3AE77D6F-AF91-4596-B64E-CD27588EB9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098648$087BAC2C-8DA6-4B82-A1BB-2448D50BD09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098648$753B6C29-C0AF-485F-A15B-94FA63D82EF3","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":"Q1098648$B2060BAB-2459-442F-AADC-26524D9BA0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ad2ed6b7262bc4aaf760dd16acb7d192abb88c","datavalue":{"value":{"entity-type":"item","numeric-id":3777497,"id":"Q3777497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098648$C57C18F6-3DAF-4C7D-8C6D-6AA4CFAE5601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a8c1250dbca5a1914c2e0ccc1c1670d1eb9d18","datavalue":{"value":{"entity-type":"item","numeric-id":1157923,"id":"Q1157923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098648$50CA4D24-8CCC-44A9-9DF4-EB2040D15A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c8227370b23a709289df885ca01c57567c658f","datavalue":{"value":{"entity-type":"item","numeric-id":3856120,"id":"Q3856120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098648$51D4A225-DA32-4996-A027-1DAD4C1153B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5587664e371fa7cdb52e3b1329f22cf9fcff022","datavalue":{"value":{"entity-type":"item","numeric-id":1101242,"id":"Q1101242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098648$874AAC78-242F-4AF5-95FF-557F4730947C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e82257b416db4246a715182cdefecc0570e41d","datavalue":{"value":{"entity-type":"item","numeric-id":3279281,"id":"Q3279281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098648$2A410C6E-976E-4B71-BE92-93407C703CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098648$20A581F5-ACD4-49E5-B712-254FD50784C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21aa2c8417444bb3098b83ec743e607734c3bfb","datavalue":{"value":{"entity-type":"item","numeric-id":3285631,"id":"Q3285631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098648$7BE40F29-0807-4DA6-BBCE-02C146FB1D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058eea150b9df2856b4c1fa01610e8100a8e4283","datavalue":{"value":{"entity-type":"item","numeric-id":5966925,"id":"Q5966925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098648$8995D899-83CA-451F-8487-D0628633059E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1ce8a94891d658607506360e3edf36edaa11fa6","datavalue":{"value":{"entity-type":"item","numeric-id":3777496,"id":"Q3777496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098648$25173156-6C5A-4C73-BC9B-E49178EA78EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e7ee02fb7225f548692763679bc3baff370b34b","datavalue":{"value":"https://doi.org/10.1007/bf02737109","type":"string"},"datatype":"url"},"type":"statement","id":"Q1098648$9F5A8547-EAC5-4310-8CA9-B6ACB123406B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62528b128d19eebb54e160d6a12b1ddfebc3ae9f","datavalue":{"value":"W2079688484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098648$6FD4B01C-26DE-4112-93D9-FD26989A40B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edcd4b9a23103ae0e3a8ef4d77f50344631b00fc","datavalue":{"value":{"entity-type":"item","numeric-id":3765263,"id":"Q3765263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a6d65986673248915e4171eb2032c2061d240f","datavalue":{"value":{"amount":"+0.9265024662017822","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":"Q1098648$9F56C930-AD8B-4068-A55D-2F67E2D2E6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1ffd16ed5dc048c151e7e76429d1292ac4c9c27","datavalue":{"value":{"entity-type":"item","numeric-id":3777496,"id":"Q3777496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96949f79d65d81ae6bcb83812e0490bf9daed8b9","datavalue":{"value":{"amount":"+0.814451277256012","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":"Q1098648$072DF9CA-D83F-4997-A85C-D3869CD21C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fefeb33fde61b40a316c84afdb8cc7082e8a5c05","datavalue":{"value":{"entity-type":"item","numeric-id":1402732,"id":"Q1402732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c8e9d26b31770344c1677c52f3ca4452920e58","datavalue":{"value":{"amount":"+0.7943761348724365","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":"Q1098648$7DD19907-3B40-4742-AAB3-62D41FD27392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39be22579210ecce9ecb2a66244468fd32f76c98","datavalue":{"value":{"entity-type":"item","numeric-id":2843818,"id":"Q2843818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c8e9d26b31770344c1677c52f3ca4452920e58","datavalue":{"value":{"amount":"+0.7943761348724365","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":"Q1098648$AE41D7E1-78C2-4BAB-B048-E1767D199723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06043c6808c48bfcca73fa9844278ac22829c043","datavalue":{"value":{"entity-type":"item","numeric-id":5294172,"id":"Q5294172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06bce52e719d0197b283146656f718ba4c3e2eb3","datavalue":{"value":{"amount":"+0.7830326557159424","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":"Q1098648$C21CDCDF-A773-4DC6-A622-8458372539FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Resolution on formula-trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Resolution_on_formula-trees"}}}}}