{"entities":{"Q3490987":{"pageid":5520887,"ns":120,"title":"Item:Q3490987","lastrevid":48615577,"modified":"2026-01-05T09:45:23Z","type":"item","id":"Q3490987","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164169"}},"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":"Q3490987$A14A281C-387F-43C5-A146-BBE4B72F2C31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce32be9f7a4ff8d7f6bd98105c84cdeb985f0335","datavalue":{"value":"0708.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490987$AE3B9930-61D1-4695-B57F-5C457D6432AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e75e214a98eeb1f001caf354ea86e8803e8a377","datavalue":{"value":{"entity-type":"item","numeric-id":1182154,"id":"Q1182154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3490987$327B44E9-82BB-421C-93CA-71CFAE748BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db20d60fdab35354b81f8a87932ead73c4375818","datavalue":{"value":{"entity-type":"item","numeric-id":1097713,"id":"Q1097713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3490987$F7F4E833-A58E-4EF9-98E1-2A33C6FB0A12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3490987$CD67D40F-E5DB-4181-890A-A9DE3C2E8B10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490987$6EEB35DE-86D8-427A-AD29-9F8D0DA0AD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490987$4645B9AF-105C-4760-B6A3-D37E82DE1564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490987$FAE3EF6A-7F6A-431C-A97F-0B90F1F49B68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7469a5e31326d6a93281bfc6c3c018dc4bfa4b9a","datavalue":{"value":"4164169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490987$7FD71233-01B8-49AE-BF12-4A33D783D142","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490987$B05A6AC1-8217-4F67-975B-72D23C296FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9deff5ede30f0d780e2276fc9f84b43e1a21c45","datavalue":{"value":"default","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490987$ABFEF013-F666-4664-B9CA-C7F7CC4076F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a313369d6da90dd1bef2143dee22ad776773a0ec","datavalue":{"value":"first-order theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490987$644DA08C-491D-44E1-A245-52B123C6B427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5ea59acc59b7f3b6721e5630d289634f5fae97c","datavalue":{"value":"computing parallel circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490987$355C4AC0-E644-455E-B2D0-33BBF6B4F1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e54d7e88276897f6cdaab276e35d30799c1f91d8","datavalue":{"value":"prioritized circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490987$2AF8C038-BAC3-453B-81C9-998F97CA19BC","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":"Q3490987$562225B5-751C-40A8-BB32-BDD0EA84C462","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a24639935b1fc18141c101f4b933403324bce254","datavalue":{"value":{"entity-type":"item","numeric-id":3830546,"id":"Q3830546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5546ab2e9b54523864214f6d7c6f06e60afd86fb","datavalue":{"value":{"amount":"+0.92472136","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":"Q3490987$1AC7F8A6-60BD-438C-B8C6-FB5705D0F3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e829ba67a2705529c876fa453030f7a97a88269","datavalue":{"value":{"entity-type":"item","numeric-id":1123640,"id":"Q1123640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5546ab2e9b54523864214f6d7c6f06e60afd86fb","datavalue":{"value":{"amount":"+0.92472136","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":"Q3490987$BE7C08D6-7A01-4DE1-BD80-F006D9E40FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37c2012149194071485d8e5b8574b7c17caf11ed","datavalue":{"value":{"entity-type":"item","numeric-id":4678454,"id":"Q4678454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"485d5d6dff4790744a8f95e37929166fa5f5c107","datavalue":{"value":{"amount":"+0.89863867","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":"Q3490987$6DDA7E7A-1CEB-4EBE-96B9-17E3DFB6DB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5aaa8be1e108eed6e2d8b2352df3c5b337bc9c5","datavalue":{"value":{"entity-type":"item","numeric-id":4366600,"id":"Q4366600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62dd01eae5a8724ab17d70aefe781ab70d7f70ef","datavalue":{"value":{"amount":"+0.898293","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":"Q3490987$80825D74-EB8A-485D-80E2-7B65AB305AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"716f31798a9fa13116e903e42ff9e589042733a4","datavalue":{"value":{"entity-type":"item","numeric-id":4539614,"id":"Q4539614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b71541363ffbfdb57ea42801a3f261a7db561de4","datavalue":{"value":{"amount":"+0.89227086","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":"Q3490987$A140A95D-F9AB-4353-9708-C84DA1635B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e538afe29d73f71c384f70cd02f02a57ba199fed","datavalue":{"value":{"entity-type":"item","numeric-id":4421251,"id":"Q4421251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c07bd24ed1dbf68683b798675c28d038175d9eb","datavalue":{"value":{"amount":"+0.8830915","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":"Q3490987$3FAD43AB-10C2-4FAA-B008-1ADBD3786F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b20aa979432520c417d265c4973bb02f37d784bc","datavalue":{"value":{"entity-type":"item","numeric-id":5313197,"id":"Q5313197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332afdd7ac9327115a884352236d919406b6ead2","datavalue":{"value":{"amount":"+0.8719759","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":"Q3490987$A0C56A22-CBFA-45FB-8FF4-53050D17C868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02875efcda45dd6c3450fa983afbefd43cb26b91","datavalue":{"value":{"entity-type":"item","numeric-id":5285991,"id":"Q5285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf59adb8c997bffa60e3ed5feb3bae069ea9358","datavalue":{"value":{"amount":"+0.8698219","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":"Q3490987$350B9A1E-728B-4878-998C-92F49EB0A695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b27e4add4367eb9727cb1ee7edafae3cea5b7283","datavalue":{"value":{"entity-type":"item","numeric-id":2767052,"id":"Q2767052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be82e18c574f9a3e642c8c23d9f8773714fbe87","datavalue":{"value":{"amount":"+0.8659828","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":"Q3490987$86ED3E47-4315-4F60-9422-B0CA9C0D45F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3490987","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3490987"}}}}}