{"entities":{"Q5743582":{"pageid":7773133,"ns":120,"title":"Item:Q5743582","lastrevid":52453082,"modified":"2026-01-22T16:40:36Z","type":"item","id":"Q5743582","labels":{"en":{"language":"en","value":"Proof checking and logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6539443"}},"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":"Q5743582$0421B876-A9AB-45E8-8046-251D745A9E9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0a9cf215b7cd2abcd42c9d048d4f13b1cc18e12","datavalue":{"value":{"text":"Proof Checking and Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5743582$474ADDDE-F931-4ED3-8DFC-ACCC28A39296","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfbc0719e305a4f2142b304e4d112e6bb61e7302","datavalue":{"value":"1362.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743582$D81AC6CD-7AE2-44B3-9883-B01095E67CD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4325691c28e8f45ec4918006533b0e629891cc0c","datavalue":{"value":"10.1007/978-3-319-27436-2_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743582$D0B724C5-6109-4CD7-A1E6-42C7CD1E8E60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$013071C1-A415-4D37-83DF-79C667D1C18F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0ea7e5c9a7ba33c3596f194c797c176cf41e4e9","datavalue":{"value":{"time":"+2016-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5743582$55165347-B64E-4F8D-A630-80FD15E6A3C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"665ab0a23ecf0738cebadb3fa3f8a8f2edc4e500","datavalue":{"value":"https://hal.inria.fr/hal-01390901/file/paper.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5743582$ED0A07B4-6865-4F1D-9C28-90A0A66AD338","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743582$C1E137E0-B336-41DE-BC17-2E99770BD691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743582$D3CAC649-EF43-4B9B-9359-17199478CA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743582$C739A71F-1F3D-47BB-9922-ED5011F25BFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60b7e285c5ff55952be8e92b85a3ab5d054f09d3","datavalue":{"value":"6539443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743582$4124CD58-96A8-4C06-9160-D5F7C9D1EC18","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$ABEF3DE8-B28C-4DAB-B175-B7C1C4670861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$916704DF-DD01-4692-AAB9-A6445FC7D758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$99B051BA-A349-4705-B56C-4C7778C6D537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$4791454A-C6F9-4904-AE4D-2D394941A357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3f7f8548c5af1e2ae512d0bcfba5384da7ef3bf","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$83AE8985-6698-47FB-A713-3233F7E242BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a9535c02a1c0253894e545c7b8e64e868f51a5","datavalue":{"value":{"entity-type":"item","numeric-id":25577,"id":"Q25577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$1C3EEBD5-A3A2-47BA-94BB-C9D8A8DDCAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$F619C440-188C-447B-B00C-BB2568A1BB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3e00406e30ce785ebbefaf806da7a5b8ebf8458","datavalue":{"value":{"entity-type":"item","numeric-id":33172,"id":"Q33172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$0CE9D8E3-930B-4052-AC8B-BEE4BF7B7460","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":"Q5743582$CCD390B8-AF92-46A7-97D8-47C2B498B6F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6936460ad2871721643e317ae2d3986753c6cd1e","datavalue":{"value":"W2400995082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743582$EE7CE319-75EC-484A-9707-1C3E1AE4D0E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$51CD6DA7-EB77-4284-AFE8-CCC91CCE1093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc9c9d090643b66ab61947250d83f48f8f8ed8ea","datavalue":{"value":{"entity-type":"item","numeric-id":928660,"id":"Q928660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$CDA44776-24B8-4964-9029-95ECD6BBDEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72ec4eed4985602e7824e9b3bf75884c0f15d45","datavalue":{"value":{"entity-type":"item","numeric-id":4928436,"id":"Q4928436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$3F98350A-68F7-4439-8391-F01F38B27A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$77275D05-77ED-4740-99CD-35F3CF71742C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b87924f23be2e9cf6d7b6faa675b811f5a3d7c","datavalue":{"value":{"entity-type":"item","numeric-id":3612625,"id":"Q3612625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$30C427D6-AAC2-49D1-8B6B-84EC92EA32D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0c3c520266c0eb0c8719af10bc93260259779f","datavalue":{"value":{"entity-type":"item","numeric-id":4842975,"id":"Q4842975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$CBEF4DD1-CB6C-4E23-A98E-E12E6EA7E591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ab1cfed77cc0d5be8922df711324ecf8a7e5eb","datavalue":{"value":{"entity-type":"item","numeric-id":5441124,"id":"Q5441124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$0AB50518-B5C6-4E4C-9B7A-D1721234149E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7bdcd14d65b5cd3ec901aa441c6b2c1bcfe6ea","datavalue":{"value":{"entity-type":"item","numeric-id":2392484,"id":"Q2392484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$AD522ED4-8469-4A7B-8A95-34781E645C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$500317C2-D95C-40AB-8D52-5C8718335351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$F5F7CD45-360B-41A8-BAE1-99F60111DDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"545b70a52fbd739fcbdc5fb79649e5d3315f9433","datavalue":{"value":{"entity-type":"item","numeric-id":3598006,"id":"Q3598006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$A8A67BBB-CAD5-428B-A352-C7C2852E1741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$A8A5E400-156D-440B-B88B-1A42D1F3B920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fac8018d67440c6289d41ba6a99a91f9d3e2025","datavalue":{"value":{"entity-type":"item","numeric-id":2494223,"id":"Q2494223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$7B267145-426F-4479-83F0-2C63E48F4C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$56802B99-32A0-43FA-BBD5-31E7FA872344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd561cdaaa1e209868cdf7103b4a9c2b22003d6","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$EFBEC4C3-1D6A-405A-A46E-8CDF8FA30A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a3b57179ee65f8e08bee8ef7013ac53a867bc6","datavalue":{"value":{"entity-type":"item","numeric-id":5271422,"id":"Q5271422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$36704220-64C4-46DC-B2F3-C656EA8E8AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380a2f18f4b02ba06d230258197a946757b5301","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$282C9CBE-3A37-4FD8-B17B-AF3AF9E2826E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$24BDF434-1EF9-47C7-84B9-AF5623A4000C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743582$4F57A39B-D505-42B6-BCBE-43442F8DDDE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6d7e8322cb376c8fa7f3ca58a49fc39e5775fa","datavalue":{"value":{"entity-type":"item","numeric-id":2628296,"id":"Q2628296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4b22f2c0a9deb4e86d1d52611c4c58179a9cc9","datavalue":{"value":{"amount":"+0.9964494705200196","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":"Q5743582$2BF80FCE-AD6B-418C-B8E2-60CE0EB7B0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4746ca39c177f75d286c4908e7e8aa8a6d1192","datavalue":{"value":{"entity-type":"item","numeric-id":1826468,"id":"Q1826468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4563bc83701f7b08a89ecba96da34c42ebf7921b","datavalue":{"value":{"amount":"+0.7485805153846741","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":"Q5743582$0DCAB516-0C2B-4430-84D9-DC7A5A42CAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0474bbb2119d7f935ca56ebb01dcab6b168475b7","datavalue":{"value":{"entity-type":"item","numeric-id":4928436,"id":"Q4928436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9688b1435f23124bad2631df51350019670cae3b","datavalue":{"value":{"amount":"+0.7117992639541626","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":"Q5743582$6ABD0310-38CB-46F1-BFCF-FF6894700ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678c0c38f6268df2cba63533bb44a641d219e574","datavalue":{"value":{"entity-type":"item","numeric-id":3197301,"id":"Q3197301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ea9ae3fafcf7bd29b3ef9a38b50d806db0c8f16","datavalue":{"value":{"amount":"+0.7099388837814331","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":"Q5743582$638B36DE-F8D5-4EF1-8B6C-8A160A17F36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1b97a6f9d5931d17692b9da0d3db3bb3213cf3","datavalue":{"value":{"entity-type":"item","numeric-id":3455771,"id":"Q3455771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8349ecf5d83d04f28a201cf7435a80c20d4b4f49","datavalue":{"value":{"amount":"+0.7075620889663696","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":"Q5743582$123A6BF5-6686-4083-B1EF-70BEA7FCE3F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5743582","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5743582"}}}}}