{"entities":{"Q5452095":{"pageid":7481654,"ns":120,"title":"Item:Q5452095","lastrevid":50318774,"modified":"2026-01-13T19:50:17Z","type":"item","id":"Q5452095","labels":{"en":{"language":"en","value":"Mode-Directed Inverse Entailment for Full Clausal Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5255110"}},"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":"Q5452095$EAD1B806-C609-4296-A934-D935A27DA7BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86b9f69eef37962f7b60269b40cd3a5a4b0d2fdb","datavalue":{"value":{"text":"Mode-Directed Inverse Entailment for Full Clausal Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452095$43B2C35D-307B-4981-BED3-4672410C7402","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07d800fbdc4b253e5742e89c0763abefe4bdc687","datavalue":{"value":"1136.68502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452095$7490B172-E7EC-496A-8787-CAD8AF35FEE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35eeb2237ef3a84c6d7ef9737459e31f5c7df148","datavalue":{"value":"10.1007/978-3-540-78469-2_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452095$5872E116-92FE-45D1-BE8C-A894633588EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e804c1f7efed58c4ab3563ef841d7e67b0819c","datavalue":{"value":{"entity-type":"item","numeric-id":374190,"id":"Q374190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452095$AE00450F-A6DF-4B19-8658-E4419102886E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"913ba8ea85c0e7d6fedf46eb670cc9a3e411b7a6","datavalue":{"value":{"entity-type":"item","numeric-id":2460296,"id":"Q2460296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452095$A0F540F1-EF63-4BEF-AB71-8072BF735344","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8ca7a52a8c23a8f01e93aa24f1d4c2c73d62b5e4","datavalue":{"value":{"entity-type":"item","numeric-id":2827470,"id":"Q2827470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452095$9DAEDFF0-D008-4540-AC53-A20A43CDE9E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19b8f2af7f0986c9c462b75f4a8bfb541c843b8d","datavalue":{"value":{"time":"+2008-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452095$063217AD-0522-4006-94AD-C444A9291FDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452095$45235157-9742-43E4-AC31-B07B9864E69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452095$725C78C4-02D0-4DAB-AAB8-D00DFDC474D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452095$AD803A7B-0662-4D8C-A64E-458DE465F8C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c819ee0d16484e757234fa94d1f2768a678faea0","datavalue":{"value":"5255110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452095$C16ED387-C137-4C6B-98DB-7CA9A49842F1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c316f8a573aa9a8fb0377729133fd503b4a3381a","datavalue":{"value":{"entity-type":"item","numeric-id":13632,"id":"Q13632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452095$004BD978-FA87-40F6-BA63-904EF566059A","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":"Q5452095$5A2F44B3-9557-405C-A927-41C33CBFB47A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"363186b5d4bb658af1ef5fd49631361c1a527c59","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78469-2_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452095$FF28E771-82C9-4EBE-8D50-4EB326C93CA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21a4ecb8eb6a641f486a32c99116917c5cd3adbb","datavalue":{"value":"W1533347577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452095$6F128A23-8336-48E0-85C0-F9D12A45B5A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8452c1df9b2612b34848e6018918c0be8c81a6e9","datavalue":{"value":{"entity-type":"item","numeric-id":5649989,"id":"Q5649989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452095$0D945B66-2BF8-4E44-8C4A-670AC8A3F2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac78d6346f739f6266b5a8445a0ccb15bfa61032","datavalue":{"value":{"entity-type":"item","numeric-id":1199916,"id":"Q1199916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452095$97206CB6-7A5D-4485-BC40-B5C9B3352C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5556cc9d5e02cd37667f364513eec03b5d63eff2","datavalue":{"value":{"entity-type":"item","numeric-id":5894894,"id":"Q5894894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452095$569D0109-BC88-4CEC-8F85-B28D96DF5D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452095$9BB3F89E-6F27-43C3-90B8-2558E24C013A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"911f13f0a31ec5268f833e50739c3d550ba0d681","datavalue":{"value":{"entity-type":"item","numeric-id":4537969,"id":"Q4537969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452095$C162FCF9-63DE-4AA5-ABF5-5A74FD4F0DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e567bfc203777409355d165279bb17dc7f667b63","datavalue":{"value":{"entity-type":"item","numeric-id":5187874,"id":"Q5187874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452095$E24D180C-A9A4-4B0C-A9D5-1B556A9A380D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e9844499118f418b0ce8f824685e19405dafec","datavalue":{"value":{"entity-type":"item","numeric-id":5897187,"id":"Q5897187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452095$24BA43B2-CCFF-4E1F-BCB8-9B9593FE6DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cc13a0d702522f642226fd311b8990c9dc32812","datavalue":{"value":{"entity-type":"item","numeric-id":5313182,"id":"Q5313182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452095$AB26002C-3313-465A-8D6B-10AD12FDC6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9808046a6f8fa62d1a453b12f211b7893e78bc6","datavalue":{"value":{"entity-type":"item","numeric-id":1199932,"id":"Q1199932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452095$2F5AF53F-4777-4B50-A4C8-654E205DF175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b667f36f9eb49c64b47458787a928c0933c44e4b","datavalue":{"value":{"entity-type":"item","numeric-id":1874226,"id":"Q1874226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452095$1514FA2C-81A2-47C8-B922-760DBD765E4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe8c70e4655e86a9be5ccb2e20f3b8fd51b66393","datavalue":{"value":{"entity-type":"item","numeric-id":5504692,"id":"Q5504692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf5d34874dac4fcdaf65f359aeedbae05728955a","datavalue":{"value":{"amount":"+0.7309561371803284","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":"Q5452095$22B517E6-A216-4760-8803-650AFF327581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143cbf6d0b23424a947f4e984ddd7a3bd8e900ea","datavalue":{"value":{"entity-type":"item","numeric-id":4537975,"id":"Q4537975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c85dedb47b3b0165a0512d523f4d5b5c4fb247f7","datavalue":{"value":{"amount":"+0.7167719602584839","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":"Q5452095$1E9F3DE1-D6CD-4E42-A7A9-7BB1E80EE933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61630980a8e90d31a8058e34ab92f0f74911c056","datavalue":{"value":{"entity-type":"item","numeric-id":439023,"id":"Q439023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cdb5e58b455712c0fa25c7065a543366d4cd134","datavalue":{"value":{"amount":"+0.7159146666526794","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":"Q5452095$46AC4368-8AC4-48AE-AC25-3E82B5D21DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a6a7940afe59326f70cdef5b74adaf6cdd043e","datavalue":{"value":{"entity-type":"item","numeric-id":4537969,"id":"Q4537969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4d01faf6d50916415a50aa1d63a0e31c72ee872","datavalue":{"value":{"amount":"+0.7127925157546997","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":"Q5452095$F2ED3438-11C4-4478-94FE-D912077CABF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b89f9a193b4fea23c1cbc251c6ebf27dd1d24aa","datavalue":{"value":{"entity-type":"item","numeric-id":5313182,"id":"Q5313182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c0e0ab353362bed9dfe85f90fde4f006dbf4ce8","datavalue":{"value":{"amount":"+0.7103621959686279","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":"Q5452095$050DA06E-098A-4AB4-9933-3EC7E290AAFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452095","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452095"}}}}}