{"entities":{"Q5055850":{"pageid":7085427,"ns":120,"title":"Item:Q5055850","lastrevid":47786023,"modified":"2026-01-02T16:51:33Z","type":"item","id":"Q5055850","labels":{"en":{"language":"en","value":"Superposition theorem proving for abelian groups represented as integer modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631281"}},"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":"Q5055850$BEC25421-BB08-4583-B9B5-6F4ADD28CD31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4afc41d9a3f339ffad3099d82ccc5dc5550267f","datavalue":{"value":{"text":"Superposition theorem proving for abelian groups represented as integer modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055850$AF1F2536-44AF-4A47-8752-4941A6EF4C24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cde2b0c78c35a160778657db9d76a360bbe8dfaf","datavalue":{"value":"1503.68296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055850$52097CF1-444F-4ECE-9331-BF3E6DA37CF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2418a8e831ed3fe57cafe3cbe6a548d3d865215","datavalue":{"value":"10.1007/3-540-61464-8_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055850$38BECED7-8BC1-4890-8810-92D3B204BC04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f92e99a34db134ba4f25b89e7455bff7feb3ebfe","datavalue":{"value":{"entity-type":"item","numeric-id":1275019,"id":"Q1275019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055850$4A1AB23B-1D9D-4EDC-9362-BEC816603875","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055850$B47AB661-41C6-4900-97ED-32A9301ABAD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055850$98015928-4BFF-4693-B60A-E98E5A3409D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055850$321896B4-644C-428C-81A1-E265D5381E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0da8a0ae39ec16bf06e86cd23430c4f0aa6576dd","datavalue":{"value":"20-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055850$6B33BACB-7930-41A0-96E1-9FE49A4682EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd0924bacc48367b8d971041eb028e37607d1d81","datavalue":{"value":"20K99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055850$7546698E-2FDB-481B-A26A-2304BB1D48D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055850$8760C8D2-73FF-406B-A23E-F228141B8AFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6250186f58e6c2f38836b8f64f0e9f74b1f9d9d","datavalue":{"value":"7631281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055850$45EC8AC4-229A-4078-97F2-738452ADEF71","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055850$DAB5BCE3-8B6B-4F47-962A-66166E479982","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":"Q5055850$A0A0AA39-21B1-44C9-ABE2-412C998A0E67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b5b61b3871ec0ebc80b2ba1def644e33b950922","datavalue":{"value":"https://doi.org/10.1007/3-540-61464-8_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055850$DB7B51C6-77E1-4F40-8C41-7CBC9B7B5251","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aaaa5bdc34516cd6717b4f2a14e83def7fc367d1","datavalue":{"value":"W1537444730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055850$CF1C74B8-EEBB-4B63-BDB0-8DD2538D3923","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":"Q5055850$844EEB48-5DF2-4026-A602-55D1C2750AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefc70751755a79ff794164282e4f573dc2befd","datavalue":{"value":{"entity-type":"item","numeric-id":5055849,"id":"Q5055849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055850$BF0ADB9A-4DBD-4B80-A36A-E4478EBADB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb3e97929024d2ee37616602a13d3244533bbb2","datavalue":{"value":{"entity-type":"item","numeric-id":3835049,"id":"Q3835049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055850$45E558BD-CEBA-444F-B9C5-47190D5D4EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055850$57D31B7C-D674-445E-B0F9-49FE7C7DC0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055850$5303E742-4380-4C23-AD49-D5F8C5AC3CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055850$DCA5B403-F646-4F0F-A4D0-BEDB19B1E560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f0648df3e013415550bbff913328f9ac928874","datavalue":{"value":{"entity-type":"item","numeric-id":3338229,"id":"Q3338229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055850$0FF13A95-A724-4AB3-82E0-7CEEA8A1FE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c9c1aeb9cd97d0f637554f9533dd19252fdc52","datavalue":{"value":{"entity-type":"item","numeric-id":4264721,"id":"Q4264721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055850$9258F8BF-5BC2-44A9-B8E1-D8FFCCE72E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f634c169695e013798d603192de773983211324","datavalue":{"value":{"entity-type":"item","numeric-id":5210796,"id":"Q5210796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055850$3DE9087A-0C8C-416A-AB82-0340972B53A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0e2e21940719d5d9e0a6f9eda9f87221d6c71a","datavalue":{"value":{"entity-type":"item","numeric-id":5210795,"id":"Q5210795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055850$CB19BEBA-7368-48B5-985E-2C6342FD0849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b79757feb3d781a420448c5c4798be06afe3695f","datavalue":{"value":{"entity-type":"item","numeric-id":3801104,"id":"Q3801104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055850$63FC560B-9707-4AC5-BCD0-5E137511EC77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a8e45de50dd1655c4b10d46ff12630778ca0dc5","datavalue":{"value":{"entity-type":"item","numeric-id":1275020,"id":"Q1275020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7719833dc2121686e2ab934b518c9d725bc41c19","datavalue":{"value":{"amount":"+0.9727256894111632","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":"Q5055850$09A00862-F00B-44E8-B31B-6B2A27324868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c712a379c4ee789afd8e4d42283c5ff453f26fb3","datavalue":{"value":{"entity-type":"item","numeric-id":4249895,"id":"Q4249895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00f70391b1fbe4359fb26bbac7e9d92b98e33cc","datavalue":{"value":{"amount":"+0.8456382751464844","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":"Q5055850$07F9BE39-32F0-4465-9786-39C87C82A349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edfa168bf022c544e5f4287a4fca51cc143a1291","datavalue":{"value":{"entity-type":"item","numeric-id":1432887,"id":"Q1432887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5d4a5718bb95ea68912544a13f71f23691e213","datavalue":{"value":{"amount":"+0.8255559802055359","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":"Q5055850$0684ACD0-B40B-427F-B120-B67DD0C2CA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826aed92319f9b3f2ee35a62afea557ad7b404da","datavalue":{"value":{"entity-type":"item","numeric-id":1864899,"id":"Q1864899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7abbb1276a0e3b95deec941a8debf085cb0885","datavalue":{"value":{"amount":"+0.7816793322563171","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":"Q5055850$166278B0-029F-45B3-921D-6090FD318FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6111de9c67e5f828deb8e51c3fff48f89a895cd8","datavalue":{"value":{"entity-type":"item","numeric-id":1864898,"id":"Q1864898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a7017dc8d41b2495b3dae74ada245d0feb2075b","datavalue":{"value":{"amount":"+0.7765620946884155","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":"Q5055850$6C32CA34-FE87-40C0-8CE2-55BA31158592","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055850","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055850"}}}}}