{"entities":{"Q3454107":{"pageid":5233507,"ns":120,"title":"Item:Q3454107","lastrevid":52405973,"modified":"2026-01-22T14:06:13Z","type":"item","id":"Q3454107","labels":{"en":{"language":"en","value":"Beagle -- a hierarchic superposition theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515519"}},"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":"Q3454107$68214525-E6C7-4C71-A868-6EC798FA7C0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"900ef0c0f319d1387bb3803fdc14327c0188717d","datavalue":{"value":{"text":"Beagle \u2013 A Hierarchic Superposition Theorem Prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454107$5DF7CCDB-8908-48B0-990F-D31B352B344C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42607a88577d60f1dca076fd914e84bf09562da0","datavalue":{"value":"1465.68277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454107$0643EF2A-D027-4698-A2B6-AE1E36DA4167","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"512790ed86b887481f6fbeadee7e29c01632b476","datavalue":{"value":"10.1007/978-3-319-21401-6_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454107$AEB6CEAE-4B7A-40F3-BD77-52669469CCDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63095d86c000f08026b5823fdf1f8a25bfef2e00","datavalue":{"value":{"entity-type":"item","numeric-id":167057,"id":"Q167057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454107$02EB6005-F2E2-4B24-B527-42ACBDBA34C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf1f70027974d5969ecd348e3a56b273cdf65e56","datavalue":{"value":{"entity-type":"item","numeric-id":2870116,"id":"Q2870116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454107$37D1F957-A035-4B07-8F8D-68B7AAFB0076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecde3ddf4f96a8da457aeb906b2979614b354694","datavalue":{"value":{"entity-type":"item","numeric-id":293310,"id":"Q293310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454107$E7FD5DF3-DA55-4024-8C9D-3B2EF23763A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454107$7C7BE629-174F-4320-B634-93C6CC1C3F47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454107$2CCC57E8-46F0-43B1-9031-9E28E0D4CE02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454107$3BC11C9A-51D8-41F7-B812-9C46612BA77B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c34047732bcd52a4298529ed56141c34aa65ab0","datavalue":{"value":"6515519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454107$C42B27C1-B930-47C9-9563-9CB2526EAC89","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454107$616C3665-99D8-4862-B5DB-1F1CC0BA927D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a2e4454b50103c6e6499c664726a4f18fc7c5af5","datavalue":{"value":{"entity-type":"item","numeric-id":16784,"id":"Q16784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454107$D14D75E2-D3FD-4B8F-9324-1E40E5162AAF","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":"Q3454107$834C5466-2277-4E46-913F-688759A5D6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454107$92ED6701-E3CC-4A03-BBB8-C502FD57B3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454107$05DEAC4B-39C3-4C97-8298-195B1AE428A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"223a9d90a2eb9c9aa11c33c9daf4df548c5a19f4","datavalue":{"value":{"entity-type":"item","numeric-id":25564,"id":"Q25564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454107$D9969267-2A7E-47A6-9F80-DAB6E5770334","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":"Q3454107$049DB59D-A792-4133-B685-698ACF30F801","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d11f0cb841590540f0d3641443121ba4a2de3def","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21401-6_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454107$A6234034-9CDB-40C7-8F12-6A2EECAE4A46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e03dc39ddd92aa7566b8ec56921b6c57c4e3d29","datavalue":{"value":"W995310127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454107$2D5B914D-30ED-4BB0-B409-5E7296B90C98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454107$4E827B75-23F3-411A-B45A-295F37281B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4db61376dc05e8ac9b799b75f45910b0e723393","datavalue":{"value":{"entity-type":"item","numeric-id":1328182,"id":"Q1328182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454107$4173BA43-09E4-4390-A2DB-C4A9665D44F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df9e36bc833a6259fe4525e20648c4deed4f643","datavalue":{"value":{"entity-type":"item","numeric-id":4928427,"id":"Q4928427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454107$AC74C1E0-5F64-4A94-866C-BCC6B0F17DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454107$2F9ECE47-C880-468B-88DC-6C3765955319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fe68dc912a4be45802e1a509289a669130abb3","datavalue":{"value":{"entity-type":"item","numeric-id":5505560,"id":"Q5505560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454107$00833445-AC51-46E7-9FBE-0CB4DA202E27","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":"Q3454107$2A8CAE15-8E09-43E6-804B-8263C33D3B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4e0edf0e28b481677ec6286aff34ea615b8e86","datavalue":{"value":{"entity-type":"item","numeric-id":2891471,"id":"Q2891471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454107$86D47884-DC18-47EC-A8B0-2D7EB4B12FB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8522d2416898af206aef854d5fb2e109849c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d119f9caf4dd371fddfac4473876ff36de3180c","datavalue":{"value":{"amount":"+0.7495049834251404","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":"Q3454107$95C0E478-DA80-4807-BAB3-52FDB6274BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b065cdf9ee5815d7aba3bc448dd3137c103308e","datavalue":{"value":{"entity-type":"item","numeric-id":2870167,"id":"Q2870167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24075b8ff22f0150678178e46d7d57329836f900","datavalue":{"value":{"amount":"+0.7369914650917053","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":"Q3454107$750A10DE-B47D-4C9D-A4EE-F66F3ED6DCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f91f2a04af7ed716280a69b31bd5722b64e604","datavalue":{"value":{"entity-type":"item","numeric-id":4246725,"id":"Q4246725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6af1dcfc15057b752725283af0cc97497e76ef","datavalue":{"value":{"amount":"+0.7216942310333252","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":"Q3454107$13559817-6147-40AB-A344-F50C02E04303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f85415bc5243ca4fb021999aff0a144e42ebf84","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b0030c4f5b4f2acac1ee13629191fca83ceadf","datavalue":{"value":{"amount":"+0.7195835113525391","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":"Q3454107$2EAB0BDB-65CA-43B6-B8B7-39FD6A45EB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"338faab03a6852bef0c51d702c61cd9ee8ecf151","datavalue":{"value":{"entity-type":"item","numeric-id":2055874,"id":"Q2055874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4068eabaabc57dea60688e1d6c60b43ea3ca7c35","datavalue":{"value":{"amount":"+0.7134611010551453","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":"Q3454107$7CA4E527-E576-4405-8046-A202186D572E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3454107","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3454107"}}}}}