{"entities":{"Q1941892":{"pageid":1952634,"ns":120,"title":"Item:Q1941892","lastrevid":51679070,"modified":"2026-01-19T10:55:48Z","type":"item","id":"Q1941892","labels":{"en":{"language":"en","value":"Unifying theories in ProofPower-Z"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6148357"}},"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":"Q1941892$CD181FA7-B7AD-4C0A-BB56-3D77B3B5CBC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a896b152fe614a27310e47dfcfc4444fad0b104","datavalue":{"value":{"text":"Unifying theories in ProofPower-Z","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1941892$7FB5767B-39DA-4C7B-96BF-BE856396B8ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"494f7ad329677472119a6c49dcd97140ee207736","datavalue":{"value":"1259.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941892$5FEAC84A-9E07-4E48-9206-515549A9DE1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$233ABB4C-E856-4005-84D9-94C9BB51C62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"189ef02bdf1a02bbfe00844a63434a369a39330e","datavalue":{"value":{"entity-type":"item","numeric-id":333317,"id":"Q333317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$BB069AC5-15A8-4F35-BFC9-90ADD54BDD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$42EEA0DA-ABCA-41EF-B5F5-CCAEBABBF84D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$C8E8AE92-C236-4C7F-8D96-ED45351D75C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e2d14323b1d0cc86219aa2b95091e7f0ab18297","datavalue":{"value":{"time":"+2013-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1941892$70B78853-6E2E-4403-A24B-51D1750E6AD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941892$C2BF35E6-65FF-40D3-9FC6-0FF080B589EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941892$754F2467-F1D6-400D-8C26-D23C2AA3BE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941892$FD90E836-19FD-44ED-B1BD-BDD51C1A55E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a72a8b32e8c5fdc1d8af35e23e50831cc8f674b6","datavalue":{"value":"6148357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941892$0CBB8DC0-7FAB-4314-B793-CADB21FC6A3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941892$C70B7759-D685-4BA8-874C-3FEB6C624E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941892$5285A221-BAD6-484A-9459-882B96103BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c8223143402d63869cb92db7f64e9cbcbc6f9c","datavalue":{"value":"Circus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941892$D3C2C59F-7418-4A72-94F4-B01F6FAC697C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b2040a476017b43b21bd352cfec0a67d631d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":18467,"id":"Q18467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$B5EDC580-7EA1-40FE-AF29-C9964A608226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$D729BE12-7D58-4CFA-90DA-D8EEFA0D9D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$CC593215-0BB7-41B1-81DE-B5B7DB71D157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"272b1a9e09e3e0c648f0668682ab92d2e1d0ba63","datavalue":{"value":{"entity-type":"item","numeric-id":22226,"id":"Q22226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$CC82AD46-84CF-44C9-B3D8-26661A8E5CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9189048b3936abda7e80b02cf829681849623735","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$303344D2-1E42-4439-ABCD-6D26EA735857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$4FAECFC7-4D82-41A1-909F-2B053191A3D9","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":"Q1941892$39CE62EB-36C4-43AF-8C45-3F11BB0B3814","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c94f14c18bf47786fb94bc76b977ff6808715659","datavalue":{"value":"https://doi.org/10.1007/s00165-007-0044-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1941892$AB028E7D-FF72-42D5-94FC-CD01A6A3B16A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2668d3696025e3833c7224013cfd19008e46bf8","datavalue":{"value":"W2006972847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941892$EF0F66F1-DE3B-4702-91D6-CFB710AECBE2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2afea125cc066f2c6ea296b8495ce1912d0031da","datavalue":{"value":{"entity-type":"item","numeric-id":5716880,"id":"Q5716880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$E0F42B53-0F50-4947-B47B-6A7449C85C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2179d8546d5ce60e354479db662e7bc4b3f5aef8","datavalue":{"value":{"entity-type":"item","numeric-id":706512,"id":"Q706512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$FCCF6B6A-F7E5-43FC-A0CB-CDD7DD57385A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9184fc6b19b5c5f0fa5f9820f51ce1e25471d3c5","datavalue":{"value":{"entity-type":"item","numeric-id":851128,"id":"Q851128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$1E609526-EBF2-4B2A-938C-55404CB9637D","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":"Q1941892$44EAF2B7-2229-43BD-A044-D63DEC371EDC","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":"Q1941892$97956473-F22F-431C-8524-FFD9619289D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$1F33AB03-6E91-4ECE-939A-ADB36EF150A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$202CA2CA-A717-472F-90E0-DA8DF2E6FD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$946D35D7-7D75-4396-9F33-0F80A79EFC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a0871e689d89f50ea5d55d8f43a6e7005bcce1","datavalue":{"value":{"entity-type":"item","numeric-id":5307484,"id":"Q5307484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$C6284A6A-9647-4F81-9689-9055E4EC51A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb9865b9ec7d75ea6408f7463449ba93e2c161e","datavalue":{"value":{"entity-type":"item","numeric-id":5307478,"id":"Q5307478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$7FBECF0F-350E-49AB-8572-6290F56344AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f2f402bb0aaa918a693e06aa64da16c2193f2","datavalue":{"value":{"entity-type":"item","numeric-id":5687569,"id":"Q5687569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$C419A2A6-4929-4BDC-84BF-270FAACAAFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7055297a7b50a57f393bf91cddbacab39495edd","datavalue":{"value":{"entity-type":"item","numeric-id":4412559,"id":"Q4412559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$99E77C39-52B6-4CEA-997C-89ACAAF9188E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab25ffac4bde52dfb66f30a112eabdbc62a2c0ff","datavalue":{"value":{"entity-type":"item","numeric-id":4494259,"id":"Q4494259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$634EE0EE-DB59-4E3D-AC24-243AD18EEA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941892$9E5C4E2C-10ED-46DC-AAA8-B73AF2D2A752","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b64d69305ba8445c4724359392e84b3325448b6","datavalue":{"value":"10.1007/S00165-007-0044-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941892$03250996-BF51-424F-88C6-66F27A8A325D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc245bcfa199f7a5de18df583433563380e6355e","datavalue":{"value":{"entity-type":"item","numeric-id":5307478,"id":"Q5307478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6abced6e65ec86c0ac724ffe610bd3953b2700e1","datavalue":{"value":{"amount":"+0.9843760132789612","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":"Q1941892$91551FBF-1187-487A-BFEB-D5525CB8ADF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a882b9f94d2d662fc1bfb61a704bef560732636","datavalue":{"value":{"entity-type":"item","numeric-id":436368,"id":"Q436368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"464f34c08babba1ea4f6699f23f31e94cf180552","datavalue":{"value":{"amount":"+0.848903477191925","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":"Q1941892$BD382B99-B93C-4D6B-8454-CEEDE9AD7C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"687d4e36e0188adebac5ebaaa109ac2a3562936b","datavalue":{"value":{"entity-type":"item","numeric-id":5307484,"id":"Q5307484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa23f425984431578ca553fd0d297dee1738afd1","datavalue":{"value":{"amount":"+0.8398633003234863","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":"Q1941892$E7CD3CB8-2713-4A2E-BA76-8B41861190E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34160df6711a57363183228c6a05d61860201eb0","datavalue":{"value":{"entity-type":"item","numeric-id":5179366,"id":"Q5179366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbfd94612f714009bb8e9c67f9ba724487f55e11","datavalue":{"value":{"amount":"+0.8283290863037109","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":"Q1941892$37DB1C45-ACAF-4F41-8FC8-1FF5D408FDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6442d5e89d0411d47ef58a6a762b691cfeb68bf8","datavalue":{"value":{"entity-type":"item","numeric-id":2948230,"id":"Q2948230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97f3cd7ed9dab2565f19bceb4094497c6b57ebb","datavalue":{"value":{"amount":"+0.8000200986862183","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":"Q1941892$FBBEB608-AE70-4F72-8D53-0F75F712A7B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1941892","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1941892"}}}}}