{"entities":{"Q5179366":{"pageid":7208938,"ns":120,"title":"Item:Q5179366","lastrevid":40926033,"modified":"2025-04-14T05:20:23Z","type":"item","id":"Q5179366","labels":{"en":{"language":"en","value":"Mechanical Reasoning about Families of UTP Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6417342"}},"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":"Q5179366$75B421F0-89CB-4FA3-8F26-EB8D0B80E015","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d1932caa0a131225a9f81b239622b899abe89a1","datavalue":{"value":{"text":"Mechanical Reasoning about Families of UTP Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5179366$1B1F8E1A-23AA-43EA-950E-8A4219495D8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06e8743023c9033075c3044f8bc528e11a16bf83","datavalue":{"value":"1347.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179366$7DD73A00-0094-4530-A0F8-48ABB4C3CA51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4d150d5bf876b5a829b43934d70c20b18c58f39","datavalue":{"value":{"entity-type":"item","numeric-id":432149,"id":"Q432149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179366$73C98CF1-5A78-4058-B29C-E33C16CC6D86","rank":"normal"},{"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":"Q5179366$EF0C2D88-8EDC-4B95-A427-BDE91092F470","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":"Q5179366$60CBAEDE-0EEA-4B4D-90BB-249C1210EB3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13363c53348fc4e0ea3eb8871ef50224bb94cc9c","datavalue":{"value":{"time":"+2015-03-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":"Q5179366$4F6898A7-1DF0-4204-9733-D24A44D92CA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179366$B8324F95-4FC3-47E8-8722-802E7A84DAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179366$E599C5B5-0728-4FCF-839C-D03BE9531D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179366$29EA30CE-00E7-4CC0-A036-591078B7FCCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9107bfa10e5dac293e5427aacdd5acad7fb7617f","datavalue":{"value":"6417342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179366$EA334360-7F94-4BB6-8594-FF5EE52EC0E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179366$44BDFFBE-D130-4B86-A60E-FA5677C1643A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c63025624a588a2d5aee1e2333aabc7eb290a1b","datavalue":{"value":"semantic embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179366$A7725D20-2F2B-4DED-B428-6F19209E5582","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d35d778fc1b80756177ab82e8bc9e25b1533e10b","datavalue":{"value":{"entity-type":"item","numeric-id":18468,"id":"Q18468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179366$94C1E4F9-A404-4E03-BFCC-B0F4295BF619","rank":"normal"},{"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":"Q5179366$68944226-F4F7-4F1A-8C41-F076D567BC10","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":"Q5179366$7FA9BB00-9AA6-4067-9527-C9B0A54D37FE","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":"Q5179366$C3DA93E1-C3F5-4C84-9497-E3EC41F0266E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4270912abcb9fbbc6ebc42fe574e73b335222ccd","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.05.055","type":"string"},"datatype":"url"},"type":"statement","id":"Q5179366$8569983A-A50C-4B05-B7D6-9D3DDB218E6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4b2c8344c370f35f86f151e4a14fd8fb6605c95","datavalue":{"value":"W2037100211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179366$56091D41-C3FC-424B-83E5-262ECC050DF8","rank":"normal"}],"P223":[{"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":"Q5179366$C6B9A1C8-B75E-40C8-B097-90A870196B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1fcaf801699e340ab052c7ce961980dd3177c0","datavalue":{"value":{"entity-type":"item","numeric-id":5307482,"id":"Q5307482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179366$C9CD722C-D880-450C-8DCE-FA8C72668BEF","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":"Q5179366$3C984B41-489B-48BE-B638-704CFCBF8B77","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":"Q5179366$DACDBC51-6E24-4859-A3ED-724A6FD00F9D","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":"Q5179366$0CA252EB-4E76-498A-A514-26699E9AD2A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a3fe8dd64e5048fc4e5cc636876a14a0ba20548","datavalue":{"value":"10.1016/J.ENTCS.2009.05.055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179366$988D40EC-DC84-4428-AA17-E767D93973F7","rank":"normal"}],"P1643":[{"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":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5179366$D5FA11EC-96FC-4AF1-8476-36087A837A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6db23d2ad35e7f6579e9dc67d88087dcc91726b","datavalue":{"value":{"entity-type":"item","numeric-id":2814613,"id":"Q2814613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80c632ff2c5473083eef0ccc627fc0d5fd826dc","datavalue":{"value":{"amount":"+0.89020014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5179366$EE824E1A-2EDF-4887-9E2F-7F8C2C76BE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79f430e532c1e158ff9df2cf82b27c9370abe09a","datavalue":{"value":{"entity-type":"item","numeric-id":4364502,"id":"Q4364502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa17224984df0ddcabd5be9744a72389d74dbe5","datavalue":{"value":{"amount":"+0.8624664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5179366$397C8C8E-B484-45ED-8B8B-81A20116CE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c926c2a9fd59df796bb1c4848352d1460fee09","datavalue":{"value":{"entity-type":"item","numeric-id":3455652,"id":"Q3455652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"945db5468fd042e7f78be9de4f6906ceb9013011","datavalue":{"value":{"amount":"+0.8476164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5179366$2A849BAC-2A88-4430-8A19-DAF0B8045987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603e3d65c9066486d2de05b6ce7f1d9bb5cd8dd8","datavalue":{"value":{"entity-type":"item","numeric-id":4340418,"id":"Q4340418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af9eec99ce8e3f3c21059198607f35e7146feb2a","datavalue":{"value":{"amount":"+0.8443778","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5179366$01634364-CEF5-48FC-B53A-256E0EB7BB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058758f3ede8cf6908f9bf9e85cb8f830d733728","datavalue":{"value":{"entity-type":"item","numeric-id":4691187,"id":"Q4691187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d0a0bb380a332604ec85749ddc4e8f71c30f87","datavalue":{"value":{"amount":"+0.84396845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5179366$DADDB158-E11D-450D-8182-1D7695768101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1974503b6ffd090d949054e4f812d809156449b","datavalue":{"value":{"entity-type":"item","numeric-id":5096400,"id":"Q5096400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79c553f1f11047e41e8207f460467a61d4f68c48","datavalue":{"value":{"amount":"+0.8411792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5179366$A02AD4DF-71D5-4990-9FBC-7B8CF0168F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68b5544b644a7e63ab8cba38091a8ef2c15f5f3d","datavalue":{"value":{"entity-type":"item","numeric-id":3714047,"id":"Q3714047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29d09d6a48a31befb1d1d59532554448f09156c","datavalue":{"value":{"amount":"+0.8402078","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5179366$3A42267D-A22E-46D2-8742-D4DB0A400D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99c51f2991f5a782093b7af88cae5b396304cdc","datavalue":{"value":{"entity-type":"item","numeric-id":3718680,"id":"Q3718680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29d09d6a48a31befb1d1d59532554448f09156c","datavalue":{"value":{"amount":"+0.8402078","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5179366$5B6ADDE5-F9EF-4AE5-B39D-D766B24A3B50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5179366","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5179366"}}}}}