{"entities":{"Q2817929":{"pageid":2828667,"ns":120,"title":"Item:Q2817929","lastrevid":79420460,"modified":"2026-05-06T13:52:00Z","type":"item","id":"Q2817929","labels":{"en":{"language":"en","value":"nanoCoP: a non-clausal connection prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623269"}},"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":"Q2817929$5939B7D5-4852-4989-AA97-61B593757BCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e1a8bca8f67b0fc73e64c99e44523640fcc667f","datavalue":{"value":{"text":"nanoCoP: A Non-clausal Connection Prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817929$C8096B56-863E-4EDA-9AB7-51A0790741F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8eab0ec52c3fd9870e5c8d9270fa8917c111783","datavalue":{"value":"1475.68445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817929$76234FA3-C645-403D-9D96-77B313886A44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1aa4b915bd94e9cc2a1c5b889602ea077393ffa2","datavalue":{"value":"10.1007/978-3-319-40229-1_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817929$604A932A-7D99-4F70-82DC-3646414492E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2d00c1197e57bdc49c1c8779be1049cb4d10dbd","datavalue":{"value":{"entity-type":"item","numeric-id":877896,"id":"Q877896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$185AA5C4-F401-451D-974F-88D8BF760FC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$1F4EA022-989A-44DE-915C-38778452F8A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-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":"Q2817929$BD63D6E0-DA59-4EC8-A9B9-17B2DFE1CD7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817929$E67F6901-49B6-4D4F-BB4E-CB5533724537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817929$60AE535F-9AE2-4F35-83D6-363B4B512084","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e70be6f735ef309f84366e1d06e83d5fd38c81f2","datavalue":{"value":"6623269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817929$5CBECDB3-93D0-4573-9DB8-1E6C96AFF3C8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"824e66560bf30b02805a91f52441dbc38109d38d","datavalue":{"value":{"entity-type":"item","numeric-id":21736,"id":"Q21736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$BF7F67DA-2346-4263-99C1-7B14BC26812B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccd1d0bb2717360c541381c661e7bb40d86b318","datavalue":{"value":{"entity-type":"item","numeric-id":21962,"id":"Q21962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$A7FAAF57-B91B-453C-BC2A-8761F08CCF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"11457aba592a0d27712f8b8dca979adeee93d14f","datavalue":{"value":{"entity-type":"item","numeric-id":33329,"id":"Q33329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$B355FE79-CA96-4CEA-89C9-C7B20326738B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae510ff9d7026cdfae7484e5c88af62cffb92c77","datavalue":{"value":{"entity-type":"item","numeric-id":21735,"id":"Q21735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$29C464BC-38C8-4EE1-9515-CDCBB67CC751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a1e94f157d41116391eea794e4679c715853699","datavalue":{"value":{"entity-type":"item","numeric-id":32991,"id":"Q32991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$CEADB3AE-2D1F-456E-A7DD-E2ACE60E2D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$45F8C3C4-9127-4F71-931D-485992C87F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$562E3DD1-2260-4222-85E3-49C7F95EF0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$AA749F44-F019-4A16-B315-B1A99043DCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc835e0a8e8cc3d18de29524c9b3729f324d45c","datavalue":{"value":{"entity-type":"item","numeric-id":21955,"id":"Q21955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$605A2208-E616-4633-8ADF-287D2BBD210F","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":"Q2817929$146E3462-DC5D-4A52-BFE9-F13F21BFFD8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dba8a7137f511e975c910bf209a70c6db7c4f7dc","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40229-1_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817929$616687A3-6CDA-405D-817A-E131C7E20053","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"113eff977b1557ba597660a8fae42e1dd989e95c","datavalue":{"value":"W2484885137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817929$30000D4E-9DDC-496A-9F7C-8D55E39D4C03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed4e2b73edd0e2661ebb75822eda29ecb9eb63a","datavalue":{"value":{"entity-type":"item","numeric-id":3906484,"id":"Q3906484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$F93104B7-C2AA-44DE-92F5-BB076B18CE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45107b9470fcc9d21eee7884b1b56bba5b3073b2","datavalue":{"value":{"entity-type":"item","numeric-id":877894,"id":"Q877894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$519CE4D7-D8C6-4E72-914A-CAACFC1E6C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f9608b13e21870d0ea96a60dac80597e508d93","datavalue":{"value":{"entity-type":"item","numeric-id":1904400,"id":"Q1904400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$EC166E56-6AF5-4637-95E9-95CB067B8BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850ca39a94aac87362042c94528de0b33c665341","datavalue":{"value":{"entity-type":"item","numeric-id":3668887,"id":"Q3668887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$6B8E20EA-C939-49D9-8D70-EA086CD613B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$3C53CB51-F70A-4EF3-A6F3-2C748F315D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e9e44d7ffa3e35b73497e32253991279784e6a","datavalue":{"value":{"entity-type":"item","numeric-id":2751354,"id":"Q2751354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$CACC6F96-885E-4083-A851-A6115FBAD9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8f6d0cfcf8c98e38ef75cd16416927b746b66f","datavalue":{"value":{"entity-type":"item","numeric-id":703486,"id":"Q703486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$0A248342-9283-4948-88F8-62ECC2485B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdebf38e9057b48da95e1d4aa1dd3058634e8858","datavalue":{"value":{"entity-type":"item","numeric-id":3460043,"id":"Q3460043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$24DEF34E-0EDF-4C61-AD2D-C851DF2AAC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffc16544718d83a4fdaaf484258616599c048b4","datavalue":{"value":{"entity-type":"item","numeric-id":4520768,"id":"Q4520768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$A5CD16A2-FD73-4F56-B8E3-0D4FD205CAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe69fc028355d5cb639899e284adf226488cd64","datavalue":{"value":{"entity-type":"item","numeric-id":3541708,"id":"Q3541708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$6EE3E483-F09F-4F03-80B0-137EA5C92453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a75f053a353053f076c4579a8bd7588f50e677","datavalue":{"value":{"entity-type":"item","numeric-id":3568228,"id":"Q3568228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$9761C6A0-837F-481F-A338-24711C4FDD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565b160089cdc5b3036b02090a5d1494987eb47d","datavalue":{"value":{"entity-type":"item","numeric-id":3010371,"id":"Q3010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$E9C278A4-68D4-4AE2-8914-334A4D4F41A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3c55acef09b75ced3de6aa80cdbdc9a1e475f","datavalue":{"value":{"entity-type":"item","numeric-id":3192198,"id":"Q3192198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$A0DE9AFF-6F54-4DB7-94E3-3249C918644B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e114146a9d2d5e6b8c252e3e4a144fcee5ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":1404981,"id":"Q1404981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$E4E60939-C165-4F0A-813A-6C646972860A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$4CC8C2F0-AA45-477E-A8D6-CF27B22DF800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c9a08fec1d053c691c33507add33a1579c0bfcd","datavalue":{"value":{"entity-type":"item","numeric-id":4539627,"id":"Q4539627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$8243A904-3035-4D59-9701-DFCFC3A83EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$A912426C-A9C2-4FEE-AFB5-FA98B2E6D9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab938ba3d2bb1de7d34dc0f9166735f59a48b21","datavalue":{"value":{"entity-type":"item","numeric-id":1114446,"id":"Q1114446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$760C43E8-BDC3-4919-9164-F7937766263D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817929$31600CAE-26B9-4543-A8AF-356493ADF1F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41eae31321cb8f4d5091ef38abb8a9ca30ef670","datavalue":{"value":{"entity-type":"item","numeric-id":3010371,"id":"Q3010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"410cdbfaf546a7dd542089c7754aa7ed782d7fbe","datavalue":{"value":{"amount":"+0.8729971051216125","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":"Q2817929$18609517-4828-4F7B-83A0-492AD2C4B5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10fe98395e3bfae2faf326062267dcda51267eeb","datavalue":{"value":{"entity-type":"item","numeric-id":2180504,"id":"Q2180504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d6ea8b4856951996ba6bd2b79703b210162a81","datavalue":{"value":{"amount":"+0.8252269625663757","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":"Q2817929$4E896A98-532D-495F-9DBB-7D0255EC9133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9bf28b6c9ac6d6df6c52bc9f25a1453544aed6d","datavalue":{"value":{"entity-type":"item","numeric-id":1694466,"id":"Q1694466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"389150303b1c583318e976e64df0444f081460fc","datavalue":{"value":{"amount":"+0.8063877820968628","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":"Q2817929$575562B7-3ECD-46EF-BF72-88BE0FA744B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f849e8c0079e919fbd590217e8c1c62f3f277e67","datavalue":{"value":{"entity-type":"item","numeric-id":1404981,"id":"Q1404981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c73aaab98c4841937af69d57592f86b61c6300b","datavalue":{"value":{"amount":"+0.780663251876831","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":"Q2817929$CA3D22CE-395C-4ECB-8E55-706D42DCEC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7385f94f782fd26d282b4958eaa2016401d73ee","datavalue":{"value":{"entity-type":"item","numeric-id":5958754,"id":"Q5958754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c73aaab98c4841937af69d57592f86b61c6300b","datavalue":{"value":{"amount":"+0.780663251876831","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":"Q2817929$33910C31-99F2-4F8C-9205-AB0B171D1AC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"NanoCoP: a non-clausal connection prover","badges":[]}}}}}