{"entities":{"Q3179401":{"pageid":3190109,"ns":120,"title":"Item:Q3179401","lastrevid":52706876,"modified":"2026-01-23T07:59:43Z","type":"item","id":"Q3179401","labels":{"en":{"language":"en","value":"Soundly proving B method formul\u00e6 using typed sequent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667708"}},"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":"Q3179401$3B289532-ECF0-4297-9F7F-E2879AF92C44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ea6779dc0fd92bd47e3b5bae830fdc437be02a6","datavalue":{"value":{"text":"Soundly Proving B Method Formul\u00e6 Using Typed Sequent Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179401$8CD1CC2D-F129-41F6-9F1E-D4312B6B4F0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f833c5886a2861c7b022ac5992a01c0e19cc1812","datavalue":{"value":"1482.68270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179401$321939E2-A743-49E0-A088-0FB023670B12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f46d3d6ea3670b2f01ade6521241b0c51cb830f8","datavalue":{"value":"10.1007/978-3-319-46750-4_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179401$C468925E-22F4-4D63-B489-979AA3303186","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83f4bf2e0e09104bc6b76128ac61c84eb78f79c4","datavalue":{"value":{"entity-type":"item","numeric-id":2209545,"id":"Q2209545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179401$E6693D14-A009-4E8E-A5DB-815CD52B1DD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"96b799bc507f1a598de85f391b2f2fb813846caa","datavalue":{"value":{"entity-type":"item","numeric-id":3179386,"id":"Q3179386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179401$0837AD36-243E-4E9A-A5A1-746FFE131DEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179401$F2A8D2F5-0400-4E2A-8BD2-5669AFA77219","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179401$69DDBA79-E56E-4E5C-BC4E-B83A3B52E46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179401$80189603-49B4-4C0D-B874-EEF8EFB67DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179401$64A4A99C-8086-40B7-8D5D-3E2788A88584","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd1a05aeea4ab4ec6d6773532e5c38014a8f3f6e","datavalue":{"value":"6667708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179401$6B756419-F797-4FD9-99C2-19B513BCA7D7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179401$B773632C-819D-4D4A-A8B4-3E6C59AED18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3fa1be4925f6565903e34254fe3ce3cb99beabc","datavalue":{"value":{"entity-type":"item","numeric-id":18828,"id":"Q18828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179401$575F0CFC-401D-4ED1-B75C-C1B05E702EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179401$5AB4F3C2-A36D-4B50-94A9-45DD6680A1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"acd0a7f965bd7a2eea8391d50182b3fc185bc6de","datavalue":{"value":{"entity-type":"item","numeric-id":19144,"id":"Q19144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179401$C8DE6015-0E33-47AD-8628-D0BB7D032DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"215d2b6d1a41d16324962359ed77fd383c2f9ef3","datavalue":{"value":{"entity-type":"item","numeric-id":22366,"id":"Q22366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179401$362A0BBA-DDB0-4221-BA63-C3405D972C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a9535c02a1c0253894e545c7b8e64e868f51a5","datavalue":{"value":{"entity-type":"item","numeric-id":25577,"id":"Q25577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179401$53FC3A86-B368-457F-8464-A7EC2858F854","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":"Q3179401$735B1D98-5120-43B6-B0B3-E19C58DE8940","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36c1062a01f79f70983b54399c809a6444ba5db3","datavalue":{"value":"https://doi.org/10.1007/978-3-319-46750-4_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179401$01ACD051-A734-4B47-B845-70008CE38A59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ef772243b4db6e4f9d4ff6e0ff9d62444924248","datavalue":{"value":"W2522872546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179401$50D8B2C3-6ACB-47FE-99A4-705B0CA6F81F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179401$D37D8564-E33D-4A8F-899D-83836752C9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52a45de8c1208b3a6a3b50a53088ff43e0469f7","datavalue":{"value":{"entity-type":"item","numeric-id":5326348,"id":"Q5326348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179401$E4ECF052-6F2A-4BCF-8B5B-5F6FD0CA76C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"420ce2c13593c37e8b5cf722f77b32e64e2f0901","datavalue":{"value":{"entity-type":"item","numeric-id":4472192,"id":"Q4472192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179401$99DF4825-C0FF-4E6F-9F18-9CDE61D7DC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4370175d8030918ba7fe1c9ab8112224b76824d","datavalue":{"value":{"entity-type":"item","numeric-id":3498463,"id":"Q3498463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179401$89EB382D-7166-422B-83BD-280A9FC00F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0007f6e6ddb56daad1917f282410760fb5b79ae6","datavalue":{"value":{"entity-type":"item","numeric-id":2870135,"id":"Q2870135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179401$8B871B1E-3082-4174-A4FC-AD8D35788B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179401$55D86796-1884-4130-A675-E25F3E343580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd17956d902ab2adebb904d0d53fd42c47cd4a30","datavalue":{"value":{"entity-type":"item","numeric-id":3095242,"id":"Q3095242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179401$8B325726-8C62-4134-915F-C711A35E4CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ca6fa462c5ab7c65a93ca673783dd3368bdc6a","datavalue":{"value":{"entity-type":"item","numeric-id":3498474,"id":"Q3498474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179401$4A070309-97E8-424C-8C67-856AD7DD36B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a64d50c592303007cfb48295556b5682a85705e5","datavalue":{"value":{"entity-type":"item","numeric-id":2723912,"id":"Q2723912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0495f29ee65fd0a76517150050cafb1e6674b53","datavalue":{"value":{"amount":"+0.761268675327301","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":"Q3179401$10796679-2891-4A55-AA42-1D038D56A2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3715b921fdfb1f5a853f08d3d1ab4bc26cd1762","datavalue":{"value":{"entity-type":"item","numeric-id":4680189,"id":"Q4680189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6afbb02d8ec8ecc3c80a623249f1feb35decdc13","datavalue":{"value":{"amount":"+0.7581208944320679","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":"Q3179401$3756C110-1F0B-4952-9E60-D8DCE61F24F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcfcd51c2fbd2726dcf9a89335d8e7db15c01c4a","datavalue":{"value":{"entity-type":"item","numeric-id":3095242,"id":"Q3095242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb9e6502bedd818d06eae4a29dfcc054c0fc7dca","datavalue":{"value":{"amount":"+0.7425916790962219","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":"Q3179401$E85D98A0-2485-463E-ABDE-D9996CFFEB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0809d9b1dd704b43e96f40cadc787982dd501a12","datavalue":{"value":{"entity-type":"item","numeric-id":2908505,"id":"Q2908505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e201aedc37456b88694f34cbbdc215caaaba096d","datavalue":{"value":{"amount":"+0.7184408903121948","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":"Q3179401$E70F8EAC-E7E0-4C1C-B9C2-C9FF694F2662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3893a1954c70a63e3a7a0bdacf759a468a281134","datavalue":{"value":{"entity-type":"item","numeric-id":5881455,"id":"Q5881455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b4f12d4e71f816385aa0ef4708bdf35dae105d","datavalue":{"value":{"amount":"+0.7139796018600464","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":"Q3179401$24E97D16-62A4-4C57-AF39-73796F10B964","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3179401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3179401"}}}}}