{"entities":{"Q3382822":{"pageid":3393525,"ns":120,"title":"Item:Q3382822","lastrevid":46103917,"modified":"2025-12-22T22:57:56Z","type":"item","id":"Q3382822","labels":{"en":{"language":"en","value":"An efficient reasoning method on logic programming using partial evaluation in vector spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7398785"}},"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":"Q3382822$0A33D08F-F6B8-4C9F-A761-DBC5C0333029","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7761eeb7ac7de3f2a67c9486703d816e49291a5c","datavalue":{"value":{"text":"An efficient reasoning method on logic programming using partial evaluation in vector spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3382822$2AA63663-1BAE-4122-BDB2-458458C257DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"298bf7ba67772e027c232daaf82fff0b94bbeb35","datavalue":{"value":{"time":"+2021-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3382822$4175A442-0AE0-45D8-AB27-B5C0C843D50D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382822$56637E57-2D32-4E50-B25E-07FC6A0075CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382822$285F20A7-7BC8-4EA8-846B-5C4D8041945E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b7624e7c7d973d3e18ae1098242b1a797518a36","datavalue":{"value":"7398785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382822$C33E1FEE-A32A-450B-9F46-157CC6663CAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382822$23BD6A5C-D1F9-48D9-8B41-E0F20B1BFA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ef7db62ea690b4e5062dfc499cec745f9bc958","datavalue":{"value":"linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382822$57685725-915E-4D81-AC0B-9AA3EC05A51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382822$4B949BBC-2236-4D86-A320-FD539CB55994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc31ada3e3f12a74e618e5c1565ffae33b3f6f70","datavalue":{"value":"partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382822$9C910A65-6E34-4068-8F35-9D8F43AAB8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee42c95fb4dd331a6fe625189ea56ec215d8623","datavalue":{"value":"vector spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382822$35125175-D2EE-4F3B-B1F7-D08DCC6E6510","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":"Q3382822$18CA023F-DB2E-40C2-98EF-3BD27A8E2C6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b768abb18cd0764003b867ec372ee433405d6f9d","datavalue":{"value":"https://doi.org/10.1093/logcom/exab010","type":"string"},"datatype":"url"},"type":"statement","id":"Q3382822$C7ED2F58-AF38-440D-BA96-EB50780C2B5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33dcc3ae592592d7e688cb679bf0336572ab6b71","datavalue":{"value":"W3136757590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382822$83F88AF7-5020-4AE3-A282-F9B4BEFC2F40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f725f3ad6e405406034e11af303b66302c0c099","datavalue":{"value":"10.1093/LOGCOM/EXAB010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382822$0DB894E1-5BFB-4F19-BC4A-FD05BBCB2615","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382822$3FF53333-BB13-46E5-8252-D6E86B128C07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70598a3d68f3f5f18ac205adda1d9a4cd6f68784","datavalue":{"value":{"entity-type":"item","numeric-id":4494008,"id":"Q4494008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b5d630a11250ee41afc2981b153327a2d8ef47","datavalue":{"value":{"amount":"+0.8972266","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":"Q3382822$202364BC-7016-4DAE-A97B-B1DBB2312C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9217e7475f48800aa2a6881a8ed5efe5ae5133bc","datavalue":{"value":{"entity-type":"item","numeric-id":3003494,"id":"Q3003494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e13912b663b65162e4e37bbc85a67d46d079ebd","datavalue":{"value":{"amount":"+0.8876654","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":"Q3382822$38274B88-836D-4D4D-85E1-F0E5971564D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"308c0d157a72de3483e467f3c0db9601f44132de","datavalue":{"value":{"entity-type":"item","numeric-id":3988796,"id":"Q3988796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04802a76f2340c19df86e609fbfc29ef8e69331b","datavalue":{"value":{"amount":"+0.88391685","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":"Q3382822$1FC5086D-AC86-480B-ACA2-590FB6114A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7fce69603a4eb3372a159e6640ce685584cb231","datavalue":{"value":{"entity-type":"item","numeric-id":2437798,"id":"Q2437798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87aa043e9b19052eb4b062a5abb02a7b7a0df167","datavalue":{"value":{"amount":"+0.88074636","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":"Q3382822$B75E0819-179F-4C9C-8D03-DF43F5621271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22520cbc01719455e878ddf636ae77d5cc653682","datavalue":{"value":{"entity-type":"item","numeric-id":4398692,"id":"Q4398692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c480680c79f69ea871eeb5a219877e8a500f85b","datavalue":{"value":{"amount":"+0.87993234","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":"Q3382822$F397D505-7ECC-448C-BEC7-C86583CE24BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e33e9e995bb87c38170c19a9e8faceee834ff58","datavalue":{"value":{"entity-type":"item","numeric-id":808298,"id":"Q808298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96afbdc0195bec3b13aeeee787d5ea935f5ee60","datavalue":{"value":{"amount":"+0.8760413","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":"Q3382822$5714E2C0-0834-479D-AA6D-70FC5B5C4A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3089a0679c49f70ea5dcd4d777877ab289af462c","datavalue":{"value":{"entity-type":"item","numeric-id":3617434,"id":"Q3617434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f52b78ea39d957fdf5186227d7a0020683d6eb","datavalue":{"value":{"amount":"+0.8702328","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":"Q3382822$3BACA652-AF91-4621-877B-3E6B9447EF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0679fa866b7efe039a7bab1fe30de9625e3cefe","datavalue":{"value":{"entity-type":"item","numeric-id":4669648,"id":"Q4669648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"facdd202396faf5674f238617c16c4fa11ee9c9a","datavalue":{"value":{"amount":"+0.8676962","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":"Q3382822$1A73EAED-F985-47B7-A345-3B7B36062FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a708bd95fe19950e3ee44ab1250de3085d9f51","datavalue":{"value":{"entity-type":"item","numeric-id":5286918,"id":"Q5286918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4d5cdf09a8971043a9a7edc79461a956289b23f","datavalue":{"value":{"amount":"+0.86739457","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":"Q3382822$B7451B74-25F1-48F5-A662-ED98BE221EF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3382822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3382822"}}}}}