{"entities":{"Q4916218":{"pageid":6945799,"ns":120,"title":"Item:Q4916218","lastrevid":51698444,"modified":"2026-01-19T13:20:27Z","type":"item","id":"Q4916218","labels":{"en":{"language":"en","value":"Citius altius fortius: lessons learned from the theorem prover Waldmeister"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6156026"}},"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":"Q4916218$6C6F7550-CC2F-4DE1-A4C3-EB5B7ECAC62D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0f8b2f7795da76cc4154fb246be2c989d9c9be2","datavalue":{"value":{"text":"Citius altius fortius","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916218$5311E061-72BB-4EE6-BFF3-51DC90312A1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d34740783862412373ef9b1a33d3e5db89d3fb1","datavalue":{"value":"1261.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916218$1C5AE4CC-ED57-4052-8A10-3F253C495AE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1223de28b42e31d4045b6e9b11fc50e5e69035b","datavalue":{"value":"10.1016/S1571-0661(04)80649-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916218$3B94C67F-8855-4E73-8AB6-CF93836A5CBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"044a615c642dd548eb33b509f509dab0216e096b","datavalue":{"value":{"entity-type":"item","numeric-id":1404985,"id":"Q1404985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$123DB839-1089-4B1C-9B4F-641FF09D8C09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$232A347F-20A1-473F-946A-847D5142E4D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916218$7A621DB7-9EEF-442A-98AD-EDAEF0567660","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916218$5B065346-953B-40E3-B03D-145BDCEDFE9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23d52b47c242ec2f4334a167977d0cf931349b99","datavalue":{"value":"6156026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916218$338220DD-62E4-4FC0-962C-9B41F6D5CAC3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ae8e244d27f4e93f1981ec80f87d04dfe89da","datavalue":{"value":{"entity-type":"item","numeric-id":31438,"id":"Q31438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$403FAF57-BD0E-4517-92A9-D1F808087A39","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":"Q4916218$5039806D-AF18-46B7-9A9A-C475D37509C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b0631dcdd65348a242111f53ee1924677244904","datavalue":{"value":{"entity-type":"item","numeric-id":27508,"id":"Q27508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$88274953-9427-4FFE-A90A-F0D45E68CAFC","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":"Q4916218$113BE6F0-C2A9-4B64-8A30-806E044849D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d36cc78d4ffc2563b9bbbc047eb776f722da4818","datavalue":{"value":{"entity-type":"item","numeric-id":1404987,"id":"Q1404987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$1C0D37DA-2186-4DC0-A9AE-08F275753188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e65a3c4f1f8ecebc200a02b45c0bfc6a8453185","datavalue":{"value":{"entity-type":"item","numeric-id":4539648,"id":"Q4539648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$E282527C-00ED-434D-A449-E19F82AA1D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f463d2fc68b751147d657b7d88f441cdf392409","datavalue":{"value":{"entity-type":"item","numeric-id":4000281,"id":"Q4000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$99B314FB-09E8-4816-8656-F08099FC3DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869d4442a19887c35c6ffb8de8dc0db844cccf0d","datavalue":{"value":{"entity-type":"item","numeric-id":3993363,"id":"Q3993363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$37640FA0-F816-4808-8F18-1EAF2051857C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd34ff0fdea6a60e33d35058f89012af60874120","datavalue":{"value":{"entity-type":"item","numeric-id":4936127,"id":"Q4936127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$A96835F3-908A-4961-8DA2-B8B3DDBA585C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29fa80c0f07bcc3d0c1ce4424d0bf7c24f99ed88","datavalue":{"value":{"entity-type":"item","numeric-id":4809080,"id":"Q4809080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$AFCA0B41-9646-4793-A090-6958E9C03D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0252db8f91fc184001751f0eeb3107ef96bd911b","datavalue":{"value":{"entity-type":"item","numeric-id":4349924,"id":"Q4349924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$3A45D02C-7FD7-4A55-A2FB-212804B30243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1fa8e099c59f8b6819b5b09b786ac872f2d64b8","datavalue":{"value":{"entity-type":"item","numeric-id":688554,"id":"Q688554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$2A822C9C-85C2-41B2-AE79-1ACD0D019A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cff8a314d9fb157a7d13b3fe1123cbf96f16e53","datavalue":{"value":{"entity-type":"item","numeric-id":4539610,"id":"Q4539610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$8EE6479F-5BB5-4AC3-89E2-B7525A587945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$F91DB7E6-C528-48E2-A8E2-AED2C292C207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f707d41b44671464c5d9fbd310386196c74d6c07","datavalue":{"value":{"entity-type":"item","numeric-id":2751378,"id":"Q2751378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$20AFF93C-73B6-4B0F-B483-BD1EFB2C36F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cf443dde1d2e5809a6b6bdf2e4ea1022579959","datavalue":{"value":{"entity-type":"item","numeric-id":1404979,"id":"Q1404979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$F0DA8E4D-DD89-4D49-825F-C3D76F2D661C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bccd1fbbe7b06f5a2e523bc6b279f22309b5dc96","datavalue":{"value":{"entity-type":"item","numeric-id":5307082,"id":"Q5307082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$E9FE683A-7B04-4A21-9D3B-EF61679A429C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$23B068C7-37AE-4BA6-91DB-AF2D322FCB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca0145e76e6f331eafe164409d15bfeb936346c","datavalue":{"value":{"entity-type":"item","numeric-id":4539595,"id":"Q4539595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$B4F725C3-0A4E-4F54-BDEF-C6B269528EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916218$A92367E9-BF21-430B-8696-B264E02F56B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6c798c895ca749c65e2762300ae36de02b4dd05","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80649-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916218$D0452B1B-0ABF-4865-9B99-09C51FBDC337","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69376e242db6fb6756626488c8d1bf6722599c9a","datavalue":{"value":"W1481397676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916218$4FD57445-4B05-40AD-A2D1-390196375814","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a399de668ee47b734fa28845b9f8cfd52dcf92","datavalue":{"value":{"entity-type":"item","numeric-id":3150302,"id":"Q3150302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9984a35ace60abbff2a8311125a495f0fb83b62","datavalue":{"value":{"amount":"+0.8230393528938293","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":"Q4916218$07B64101-885D-4AA9-B676-B9F9F84B2EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07898fe30fee9aa6ec8572a976006938e0e9a802","datavalue":{"value":{"entity-type":"item","numeric-id":4809080,"id":"Q4809080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea53b43296acd18b36da7e42544c0a903555eb7","datavalue":{"value":{"amount":"+0.7588729858398438","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":"Q4916218$FE857FBC-2366-4BCA-9875-A62DC877A04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4394babb35832f5230c078c472b211cfc3f7c4","datavalue":{"value":{"entity-type":"item","numeric-id":3325075,"id":"Q3325075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cbe1d226ac6dc9d6bfea1446a773f221910fcdf","datavalue":{"value":{"amount":"+0.7306589484214783","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":"Q4916218$A1B1103C-C9C6-4C2B-93DC-071D5D8F2032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117f0f0c21341a5205408d76d47441cbf8c61ace","datavalue":{"value":{"entity-type":"item","numeric-id":1186705,"id":"Q1186705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d7b4b3f6b8ff1f2464906511f56089969d30f5","datavalue":{"value":{"amount":"+0.7304670214653015","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":"Q4916218$0C1096DA-6EB2-44AB-AF38-F6907BE6D2EA","rank":"normal"},{"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":"f8d7b4b3f6b8ff1f2464906511f56089969d30f5","datavalue":{"value":{"amount":"+0.7304670214653015","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":"Q4916218$76F94BC6-4F2C-440C-AEEF-7A6FAF13B25D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916218","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916218"}}}}}