{"entities":{"Q2867949":{"pageid":2878669,"ns":120,"title":"Item:Q2867949","lastrevid":42334193,"modified":"2025-06-11T14:11:47Z","type":"item","id":"Q2867949","labels":{"en":{"language":"en","value":"Topological perspective on the hybrid proof rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241770"}},"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":"Q2867949$49B68BDC-E245-455D-BD6F-7A09ED5E9A99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3cc269435b820e8fcd52666fd91117533f4e284","datavalue":{"value":"1278.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867949$B853F781-593D-41B2-9900-FEF6F4B9C0CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a531f2e925d43508482b1d4b7ad4f917bc51fb11","datavalue":{"value":{"entity-type":"item","numeric-id":269314,"id":"Q269314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867949$09EDDC55-2CD1-4C39-9057-8EF9081D3DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26d9c71379638878987f3550595bc014dcf04816","datavalue":{"value":{"entity-type":"item","numeric-id":299189,"id":"Q299189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867949$626F6682-2E05-41EE-8CFC-053A5EEE551C","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":"Q2867949$CDCD7D56-A049-46DB-8D77-A955A00FA732","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910ae69968b0b824ffb07e2bd5cc35370f9e2a13","datavalue":{"value":{"time":"+2013-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2867949$1F270D11-C315-4585-8EE0-1C0AC1FBEEFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867949$B2B59FA2-E98C-4CB6-BDC8-482E1B9CB1A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a56beb3950d6eded2c0aa96b7999fd7c6b9d593","datavalue":{"value":"6241770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867949$BDFEF5FF-D23B-45DC-9470-AF3591F0E7EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867949$A64278EB-492B-4D29-8441-DCF9B99930B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3719ed41893672db063f7cdecb5bcd68172db4a4","datavalue":{"value":"proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867949$F4924BAA-17C7-4175-8400-EC59B611A8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34a54c2dc7ff65f4f1d2073ebda294b7250df7d0","datavalue":{"value":"topological spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867949$1074EA6E-2D5F-4A2C-AE09-1D5F1F29EE59","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":"Q2867949$AF42652D-A4B5-4EF7-83A3-641ADE5CA569","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1174f1bc575a078229ace53cfa9772fe7da2c25","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.11.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867949$B369E622-C1CA-487E-B42B-7615460F05F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b93c7608b5223675a2ef7c1a0a6ad10831f0ad5","datavalue":{"value":"W2133700101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867949$0E96449C-316B-41AF-A171-2608833ED920","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fdb93aa40a2b71a7cdb6159d56df01f935ced2a","datavalue":{"value":{"entity-type":"item","numeric-id":4812319,"id":"Q4812319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867949$AAEF4A71-EBC6-462D-AD11-45AFAD4FDBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46832c4ef192b6cfd7c82ebdd623874bbf8bb91","datavalue":{"value":{"entity-type":"item","numeric-id":2476160,"id":"Q2476160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867949$D952394E-B5FC-4540-9E32-C3EF8B0463E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86319bfc24a47dc75ebbd8588b12a29a37cf6508","datavalue":{"value":{"entity-type":"item","numeric-id":863181,"id":"Q863181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867949$A47A4561-9095-459C-9D3B-EA4E7093E8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867949$F38BD7C1-D04A-4F5D-BDAA-868B5C8552DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc43b539e8eae1ca941688887c2bb83e7f24c135","datavalue":{"value":{"entity-type":"item","numeric-id":1023054,"id":"Q1023054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867949$CAB6DCE4-D359-4CB3-8B2F-A6921CDE7D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e39f652d0e6f631d7d8d06a29e27d73daf67d7","datavalue":{"value":{"entity-type":"item","numeric-id":5697717,"id":"Q5697717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867949$A7282B50-6462-4975-9B53-A1FEAF501811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867949$8E409094-1110-43AB-861C-7CDECFB3E3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d2bfe72e8d3cb7f439a24d8b4eff81d7a1c2b9","datavalue":{"value":{"entity-type":"item","numeric-id":1825863,"id":"Q1825863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867949$35F245C6-7B10-442D-A8C9-62ABA076BA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b356ce08b4c99f2940e2874e7822fa7411c905","datavalue":{"value":{"entity-type":"item","numeric-id":3478385,"id":"Q3478385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867949$F344154B-1AA0-4B83-9059-25E98DD792B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e873df5a3522093679d611f2b90aa23c94fc2d","datavalue":{"value":{"entity-type":"item","numeric-id":3509060,"id":"Q3509060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867949$B8206250-D116-43A5-AFC1-8325B08C668F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa44453732a9881f322b159e956ac7929d02738e","datavalue":{"value":{"entity-type":"item","numeric-id":3509061,"id":"Q3509061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867949$3064C923-4197-4448-9C2D-86B30C08CF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0d3df418eb4842513029fd179967e4fd2bf69c","datavalue":{"value":{"entity-type":"item","numeric-id":3926559,"id":"Q3926559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867949$078E1DB7-0D48-4FB7-A6EF-2B57176BF1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867949$2EEA93E6-671D-4094-A262-52B0739A7348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3407ff141ae082c9984e5eafd4cfec28fa9f2124","datavalue":{"value":{"entity-type":"item","numeric-id":3090878,"id":"Q3090878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867949$74CC0579-BE9A-4582-81C5-192DAE31EF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e894cf50d98f6d23776708d1d4498cd17fde0a0","datavalue":{"value":{"entity-type":"item","numeric-id":4077980,"id":"Q4077980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867949$1AF2FD5E-253B-4E1A-9488-7CD161463C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e12ebc4beb0a2509586b59f5001ca0b126ecbbd","datavalue":{"value":{"entity-type":"item","numeric-id":4276034,"id":"Q4276034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867949$5A8E3D20-1EE3-4C18-810C-D3413D5D2172","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34289e897afc59b2c3e437d5fb040368d9ca5144","datavalue":{"value":"10.1016/J.ENTCS.2006.11.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867949$11882C1B-C09A-41AF-A259-E72A3D3DC25F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a44a60c82ce720d1ca50030c7b78bca9ec2dab15","datavalue":{"value":{"entity-type":"item","numeric-id":4982128,"id":"Q4982128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d423e0bf866448f4e89d934a2ad8f68e27a05c0b","datavalue":{"value":{"amount":"+0.91621107","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":"Q2867949$B384F7D9-0B1D-4BE2-B67B-E719847546D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c81665b9e19b4bc3dbdd9af721c3e192328b856","datavalue":{"value":{"entity-type":"item","numeric-id":5255798,"id":"Q5255798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7a7380efe125463399824fd2ba19038037218a6","datavalue":{"value":{"amount":"+0.90244746","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":"Q2867949$627B3013-21EC-484F-9DD9-BBDCCBB1DC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f6f3272510159213c4c16461baca0dd2921280f","datavalue":{"value":{"entity-type":"item","numeric-id":3762301,"id":"Q3762301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed3cd8833b1f8793480253481f1bc8311fe765b3","datavalue":{"value":{"amount":"+0.87232184","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":"Q2867949$64150543-C741-4E6D-BB85-01A3FEE4FEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa61ac3642a1b3cceb2e2563e37dd1966accb9b4","datavalue":{"value":{"entity-type":"item","numeric-id":4518822,"id":"Q4518822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05ae9bed8f0cf26155e06d063ffbd0f2b535673","datavalue":{"value":{"amount":"+0.8713598","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":"Q2867949$6EF780D7-1EA3-42E8-BC4D-EF8BBF5F71AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86f98ceca3e6622b29e2b4a4cdeb9baa336995f","datavalue":{"value":{"entity-type":"item","numeric-id":1006488,"id":"Q1006488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92bc8869a7f8c777f69ebeee41ca6202bb41d92a","datavalue":{"value":{"amount":"+0.8712567","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":"Q2867949$833F5EDE-C688-4277-A542-B1D25AF16DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61aa1c04b92d30cf289036687c3ffa7d1be9b17a","datavalue":{"value":{"entity-type":"item","numeric-id":5312979,"id":"Q5312979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abac019cb2dcb4f0c56b366bbd5f9c6f065eea94","datavalue":{"value":{"amount":"+0.86872476","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":"Q2867949$DDD58451-06E9-441A-801D-49A054A6628A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4bf318676ff16089f319b608ae9a73ab06d3172","datavalue":{"value":{"entity-type":"item","numeric-id":4778494,"id":"Q4778494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d94fc8b4ed85ce86edc790c2f1855f93b4a62df5","datavalue":{"value":{"amount":"+0.866309","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":"Q2867949$1C389033-9A64-4D81-82E2-D876FE23101D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e18215e6aaab067da7d24ea47c533fd8badc44","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38fc7cde859165208c83f92384d5665bcbe8765","datavalue":{"value":{"amount":"+0.8659885","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":"Q2867949$DAFCD54E-161C-4E3E-8055-DB66AE4CD766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8bab4eb01d5ff17b1baf1c8745b54016860e42","datavalue":{"value":{"entity-type":"item","numeric-id":1330310,"id":"Q1330310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b8dc22805b73a817dce8980368ee7a829e5c80f","datavalue":{"value":{"amount":"+0.8628202","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":"Q2867949$0762A966-3A54-4129-8AB9-BD307887FB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e4b953eafaedc39806b045d9c630b6a1b53a38d","datavalue":{"value":{"entity-type":"item","numeric-id":1049745,"id":"Q1049745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96947affdfb71f0865df0f789c4349ef89c24f26","datavalue":{"value":{"amount":"+0.86114466","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":"Q2867949$A1DF8A94-3E1F-4514-B5D4-A396F7172FDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e941d849b71be5c99029d696789f02c6e61d8fd6","datavalue":{"value":{"text":"Topological perspective on the hybrid proof rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867949$D213922A-48FA-47D6-A041-2F3967F1CCFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2867949","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2867949"}}}}}