{"entities":{"Q4827602":{"pageid":6857182,"ns":120,"title":"Item:Q4827602","lastrevid":74909949,"modified":"2026-04-15T00:57:40Z","type":"item","id":"Q4827602","labels":{"en":{"language":"en","value":"Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2116742"}},"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":"Q4827602$A5FE690F-F09E-439F-A250-9A52180736CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24be8e70bc03c9b846f9a65ec285f09be945eb32","datavalue":{"value":{"text":"Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4827602$FA6FC9D1-E7CA-4B60-A14C-355C072EADA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fef8c3529e35893adefdca5128b5bac0cc8e23f","datavalue":{"value":"1068.68683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4827602$0E22D989-5ABB-4186-9B13-A6E45BE72300","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e38872582ea009864de2405c84ee8ab822e0b891","datavalue":{"value":"10.1112/S1461157000000759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4827602$9F690BA0-F2E3-437D-9AF2-EF26B54B5757","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"997f8e81aafe849f90a25017f3ed07a2b1feb16c","datavalue":{"value":{"entity-type":"item","numeric-id":2709391,"id":"Q2709391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827602$D072ED87-CA61-458D-B961-01D9D51D46EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"037fcf95f864ae0e38f5b6894c4f594ea5ca568c","datavalue":{"value":{"time":"+2004-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4827602$5B1DD6C9-94CA-40DB-A882-FDFD1AECF5FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccbdde873d35b5c233c1cfb0fc96abf8f10579d7","datavalue":{"value":"http://www.lms.ac.uk/jcm/5/lms1999-032/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4827602$0FC7C8C0-83B7-4D9A-93EB-204B77077019","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4827602$A20BC885-5C43-4405-A680-6B6B2E908C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4827602$1688558A-8546-4CD8-9DAB-9CC27D367E88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b78a9f1d589a5c73995873f6510006cb5b31d7cd","datavalue":{"value":"2116742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4827602$C3D15040-BE8B-4FF6-9F1D-C0197D6A6E1C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"59de9499168d91da1b1ff36408be93f573928689","datavalue":{"value":{"entity-type":"item","numeric-id":30420,"id":"Q30420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827602$2A62D5B7-81C5-4F1F-91D8-5ABFF377E2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827602$CA24CF22-9EBC-4D8E-B7A6-D9000A622558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827602$5A62FB42-1F69-4560-9D20-40241952B38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2d75f286d3b7fafc7959ecf913797da4cf0ecbd8","datavalue":{"value":{"entity-type":"item","numeric-id":30419,"id":"Q30419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827602$A69957CA-CAD6-43E6-AF9F-00288D52C01B","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":"Q4827602$91F8DD66-53E7-4C05-8D72-DD1DDDB5044A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9938cbb47f6bf4773c63acc7fdc989ea1a5685f0","datavalue":{"value":{"entity-type":"item","numeric-id":4272504,"id":"Q4272504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827602$B14F2B86-7217-40B6-98C2-2A8CB623CAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827602$EB229A4F-879E-4528-8AC9-D90A5AF5A1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827602$9BF53170-B045-4981-B757-01BD03ECCB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827602$5297D342-627D-47A3-B84D-E75E380E3103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b04d879384c9f6a672f4aa95bd5e2c3644f200","datavalue":{"value":{"entity-type":"item","numeric-id":4873717,"id":"Q4873717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827602$0AFFCD8F-B5AE-4EEC-AE88-54415E13E9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827602$1A325066-0D0E-4D87-B8EC-590A1702DD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777f1902a1127b94884ae1ddc89768860f054a6e","datavalue":{"value":{"entity-type":"item","numeric-id":3789060,"id":"Q3789060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827602$136AAB19-D154-4F24-B488-B8DCE3B7A842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8d7dcc337f0f7083d889ef5fbd195dbcbfcdc2","datavalue":{"value":{"entity-type":"item","numeric-id":4720797,"id":"Q4720797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827602$21D94416-8F8C-4F29-9C90-4EC8523F1AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67caddff74de93a85f137a1b38d6dfa9396f5eac","datavalue":{"value":{"entity-type":"item","numeric-id":1349886,"id":"Q1349886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827602$AC0045C4-BBAB-44F8-9C22-82288B2B93CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d643c21de743c556eecfada82b5726fdf88eaa","datavalue":{"value":{"entity-type":"item","numeric-id":4370265,"id":"Q4370265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827602$484A7517-7B92-4DAB-B3E1-459BDC891534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c621fa8227c39a838853eddce9768e0dfe2aedfd","datavalue":{"value":{"entity-type":"item","numeric-id":1815345,"id":"Q1815345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827602$B0BA0379-07E1-4955-B7B5-8C4B0F68ACE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50ac470d986be80d36d56f301325091e4aa48ead","datavalue":{"value":{"entity-type":"item","numeric-id":5682312,"id":"Q5682312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827602$9B3948F3-7EE4-4301-84BD-D7BDA40D5D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac375530e9b118efeb0d0698fafaf9644b284778","datavalue":{"value":{"entity-type":"item","numeric-id":1334901,"id":"Q1334901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827602$DCFD503F-B323-48DD-9A94-CDAF66C3EB0E","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":"Q4827602$BC78AAEA-9E23-4B5B-ABCB-1F09E071C4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827602$2DF6536C-ECE9-49E1-9FD1-F765983F49C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0900844c4c005ec51f72ed9ec78bed2f1e6027e9","datavalue":{"value":"W2025919633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4827602$07F6D6DA-86A7-4878-82C6-E12A9EECFF68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66339c795d505f780406e18e20e0f95f8bd017d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f21a6a88e979b599cf1db5390b2e046071b5ea","datavalue":{"value":{"amount":"+0.7384331226348877","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":"Q4827602$9C8C6121-B17B-4E89-B58B-FB989AA43825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ab00a5e907d4196b60b3ad1b8732c3b3f976c3","datavalue":{"value":{"entity-type":"item","numeric-id":4370265,"id":"Q4370265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308ad8a66820dfa0ad7ab9f4b7a62890d746d1a2","datavalue":{"value":{"amount":"+0.7379445433616638","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":"Q4827602$D4FB26A5-AAD0-4CCD-942E-71972B469CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d195c47f04a28862f280179e2d676c879f097b7","datavalue":{"value":{"entity-type":"item","numeric-id":4520767,"id":"Q4520767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8baf7ad3129f2bf84414869a07a42f34b8f7be5","datavalue":{"value":{"amount":"+0.7376288175582886","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":"Q4827602$83C261AF-0262-4537-87CA-08A8EA2E5C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3cc3b3ee4f98cbf7948d48e3f76892dc00ca3b","datavalue":{"value":{"entity-type":"item","numeric-id":6488542,"id":"Q6488542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85963c26593460285902ca1a1ede60ee1d62be6","datavalue":{"value":{"amount":"+0.7176119685173035","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":"Q4827602$2EF53617-2625-4D7C-8F6B-E61973CEBE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0456405130c3ea41f3a066f024f9d673ca3d1ec2","datavalue":{"value":{"entity-type":"item","numeric-id":3750142,"id":"Q3750142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8c807d815de9cced86adbe496e14c618283928","datavalue":{"value":{"amount":"+0.7115381360054016","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":"Q4827602$E68F6E64-FB9A-4CC3-9AA7-43BD8573F2FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ergo_6:_A_Generic_Proof_Engine_that_Uses_Prolog_Proof_Technology"}}}}}