{"entities":{"Q5400853":{"pageid":7430427,"ns":120,"title":"Item:Q5400853","lastrevid":74435490,"modified":"2026-04-14T22:22:20Z","type":"item","id":"Q5400853","labels":{"en":{"language":"en","value":"A logical framework combining model and proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6268794"}},"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":"Q5400853$BA5D7572-AD72-400D-9894-0E31CA1BD4A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"779be7654ce1aba0778dc7d46db3ce296af2837d","datavalue":{"value":{"text":"A logical framework combining model and proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5400853$2C12BF08-6A73-42E0-8D75-C18AB1CA6892","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97e738993fc81eb0acbb2021ff4f1d4e93afa7b0","datavalue":{"value":"1326.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5400853$8E384E3A-C8CD-4B80-BE0B-E38ABC1F5A48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f8218d9ef1cdedc740ce1b5332e096b73c502a2","datavalue":{"value":"10.1017/S0960129512000424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5400853$6E2BA731-E266-41D5-AD82-AFF2B670CFF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc5ea7724245f13d1458583f67e1c62f50c4bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":263102,"id":"Q263102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$FDB0468B-05C4-44CE-A9A3-B5E41B3846B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$EBC7F6F5-E95F-4F33-B356-B53295B68775","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d3707c0a74495cfb1944abfac12ad619589e2ad","datavalue":{"value":{"time":"+2014-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5400853$0A20FE14-29B4-48E0-92AA-80087CEDEB29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5400853$BDFF723D-367D-4908-A5EA-96C3C8916C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5400853$7C60BB4D-F34C-4905-91C3-3FC328274A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5400853$BEF335BC-039B-4DBA-B969-AB8655016EE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7640f8d968ba0652e12a8b43599ad973c7834d93","datavalue":{"value":"6268794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5400853$450A4191-384F-4007-8EFD-9E2EBA0E11A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b4e6eb73b5958980e371fa19dd5ed515db82af","datavalue":{"value":"institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5400853$3B922510-68FF-4AB2-9BAA-CF7E6422F353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"583394b08b0a1625dff3b63b42babbf9ffb133cc","datavalue":{"value":"Edinburgh logical framework LF","type":"string"},"datatype":"string"},"type":"statement","id":"Q5400853$3C8B51BB-C9BA-4CC5-BEDF-E1EECA79C9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68d68cc12c7e1194bae6408fee66ddc9dbbb4a02","datavalue":{"value":"machine-verified encodings of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5400853$1DCF133F-37A0-4120-87B0-D7A0A153BB58","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$422E0FBD-C947-4B14-89B5-0D98641EFCC6","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":"Q5400853$AA3BA152-2B0B-444B-B250-AD721E9870B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$EBC9BC0F-36C8-4083-A446-B71214C101E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86fd017762a2cc84520acf70ff19531594c257aa","datavalue":{"value":{"entity-type":"item","numeric-id":33173,"id":"Q33173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$4C19EB9C-F594-4E5E-87CD-699C108C4FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$2623FBD1-E3E8-4A35-A0A2-9988B4D1DD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$98F4145A-1816-41FA-A924-A9E3F36C2583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$3A908382-8749-4C32-BF90-6AFC89745195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$1EC44CDA-C979-44BA-8414-8E7FB460C90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$D551C407-8682-4908-B311-59E20F4C1DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$42B20741-659F-4968-A2DF-FFCC334FF4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8617a61c90a632f23d3851deb94e1069d2479a78","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$D4ADD27C-CEA7-4FDA-B71F-C72F33137D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$E9EC96B9-3E98-4E77-B67B-86D53DF1EB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$9AF90064-0537-4C51-BC55-B05E81D5A72A","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":"Q5400853$CDFEEA90-CFFF-47D1-B025-3082DB4685F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"354da199dbe1f7391127c09e8d66b9bd98941d08","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$92201625-ACA8-47E6-9FAA-A4F04B376CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90a510f27550100d45a2ef21dd83bca5c9e1966","datavalue":{"value":{"entity-type":"item","numeric-id":5747747,"id":"Q5747747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$4FAD6DBB-FD36-459E-8242-454123E19FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ea6bceb7438f91c141dbd98a2ad103e44ba224","datavalue":{"value":{"entity-type":"item","numeric-id":1391728,"id":"Q1391728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$DC5DE852-47E8-4A30-8E1B-66B0D90C7ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd0933c07f3f613a50e588f91747463c3f3a230","datavalue":{"value":{"entity-type":"item","numeric-id":4340498,"id":"Q4340498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$95890925-EB14-44C4-96CA-6F3AE53E8EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$EDF70550-E2B8-4FB1-AAFD-9D5CB8D3581A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c913a72527b57ea467866b24b8cfd23fe78226","datavalue":{"value":{"entity-type":"item","numeric-id":5747659,"id":"Q5747659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$684A8C7A-05B6-44C2-B5BA-2179DCE4120B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f055bb916adf2f96e3b1461e1c552f8808f9928","datavalue":{"value":{"entity-type":"item","numeric-id":3582723,"id":"Q3582723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$FA8676A1-FF6F-4F1E-B60A-F0EEE33E20EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14084b41dac7e71956551690bb40c48e6f7029ba","datavalue":{"value":{"entity-type":"item","numeric-id":5747657,"id":"Q5747657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$BD70437C-30A1-41C2-9574-E2D0C7A84A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0f7032feec8f3cabf8b2aed26c255234ae5d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3094180,"id":"Q3094180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$D594979C-C191-4F97-8028-AC29FF1D9E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fe2d8110bad6f2e18ddd95ee07680f26231808","datavalue":{"value":{"entity-type":"item","numeric-id":654913,"id":"Q654913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$ADEE718F-8270-4BF9-ABEC-1C8F8FD5A80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$B4D0E17D-C492-4BD8-9994-AD1A021063D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0223ea41de9d0d3a3b57ecfe38bc4d40a15c3492","datavalue":{"value":{"entity-type":"item","numeric-id":1326777,"id":"Q1326777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$009138A3-C8D2-4ACD-A6C1-AF8901C8A502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7983470b9a25dab99a86338340cd3b66bf657e5","datavalue":{"value":{"entity-type":"item","numeric-id":2379932,"id":"Q2379932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$81F3E86A-2EAE-4139-B535-219D20BB8B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$6D67A391-6C87-45A6-83D6-5FD40693AA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$8AB7516D-9362-4728-87B4-3EA1BC172E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730be61f324b593b9cdcf693cd18218da2ef3707","datavalue":{"value":{"entity-type":"item","numeric-id":2785696,"id":"Q2785696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$96EBB820-C838-4368-B589-EA67016F38EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f54faf964fc783c98544ee12459c73065c94f9e","datavalue":{"value":{"entity-type":"item","numeric-id":2890328,"id":"Q2890328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$1CF9B1FE-CE38-464F-AC30-078667C61078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"682bc1be2344ea32b52e0a4de64523ff6f911e5c","datavalue":{"value":{"entity-type":"item","numeric-id":5200128,"id":"Q5200128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$DBFB5961-B5C7-416E-819C-23B2B67C812D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$99E1D0B9-7FC6-4362-B603-247551FDF2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$5B6D85F3-700E-4FD6-B15F-5A1232652A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88611f33a1bf3cea41b284281a7a4d69934a2bd8","datavalue":{"value":{"entity-type":"item","numeric-id":3943975,"id":"Q3943975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$A2C43AA7-BBB0-4BC5-BA44-567C1469D1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b293ae9b2f27e3d3eb442629a606172136571336","datavalue":{"value":{"entity-type":"item","numeric-id":699929,"id":"Q699929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$A30E665E-E36D-4910-9C5F-D83AE55214FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$7BA217D7-CD7C-43AF-B468-53E0EC8721A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$25A994A5-18CD-4C90-9AC0-A1E392730CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24aae03900dd3a194b137b848f2d183c9f767b98","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$93FD4C99-16C2-4320-89FA-5849DB4F9636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc12fcd2307ac93ccb70c186e452eab9a3a8ef6","datavalue":{"value":{"entity-type":"item","numeric-id":3430948,"id":"Q3430948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$CAD172DF-F75D-4227-B93F-48E27193EC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a38b2702de5653f6f842316a8e74e7ad3cf7585","datavalue":{"value":{"entity-type":"item","numeric-id":698051,"id":"Q698051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$96DB9B1B-324E-4C54-81C4-754D774992D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$C5ACC79C-4B37-45F0-BA9D-9617DDA20A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd741c8f779448cca2e557d9c65f69f1eb3195f","datavalue":{"value":{"entity-type":"item","numeric-id":1854335,"id":"Q1854335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$B10BB8F0-2B2E-4B74-9A44-FC3A45B6BA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"710f77278fd07709301072d7225179fac0690567","datavalue":{"value":{"entity-type":"item","numeric-id":4663946,"id":"Q4663946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$F82BE939-000B-44BF-9F37-7ECC66C41ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d7eb80623384f2b0bdeac1b53d4423d7a886cc","datavalue":{"value":{"entity-type":"item","numeric-id":3613409,"id":"Q3613409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$B848C90B-95DE-4C1A-9432-B7F60E4C5573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$A4F9100E-3F7B-4A85-B767-1511DCC4D919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$13BBE3B7-E8E2-499B-BA83-90FCB2149FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d98b134c489ef3023af867487d565081ebe9b47c","datavalue":{"value":{"entity-type":"item","numeric-id":3183523,"id":"Q3183523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$9634055F-0DF4-4870-9E79-B6E3CF0C1550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$41731935-C8C3-4F13-BE28-E80A782CE7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8448c0105e91748355fbfe83c6a8ebfb33e3531","datavalue":{"value":{"entity-type":"item","numeric-id":1577344,"id":"Q1577344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$CFB12BB7-8327-4090-9390-72F14FC1DF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7c99e107348aa82bd1ed9ca721c57c6ffc4f86","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$EA0D8D41-52F8-48C4-8AF3-D8F6F2F8D1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b58e334bbf84629d414ca7d6688164e5524fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4726218,"id":"Q4726218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5400853$D760BA08-BDD5-4D48-90E6-BBD164FEAA48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72b5c1b38ce65eae47a87f34659315c45fcfc852","datavalue":{"value":"https://doi.org/10.1017/s0960129512000424","type":"string"},"datatype":"url"},"type":"statement","id":"Q5400853$AA4FDF8A-B858-44E5-8AAD-18008C8120A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cddd287d56c3c85fe0cf404918f5f05a7686d99","datavalue":{"value":"W2003075592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5400853$65B190EC-C0EB-4989-9E3C-4D2C8F283B6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ec72963811c750fe6cf7e84d4dbc9b225ea6fed","datavalue":{"value":{"entity-type":"item","numeric-id":1326777,"id":"Q1326777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b75a0b09676f5f0f2a594abb90e10947ccbacc42","datavalue":{"value":{"amount":"+0.7539533376693726","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":"Q5400853$829BEF13-3A90-4385-8AE9-1ECB73AEAFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b075271587bb175f90ab0b2ff58621eb0d766e","datavalue":{"value":{"entity-type":"item","numeric-id":654913,"id":"Q654913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b75a0b09676f5f0f2a594abb90e10947ccbacc42","datavalue":{"value":{"amount":"+0.7539533376693726","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":"Q5400853$9AE054EF-2FC0-4152-9FEB-6D7728B9987A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c114b592e89465bba20faf3e8437742751a7877d","datavalue":{"value":{"entity-type":"item","numeric-id":4698614,"id":"Q4698614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5909df2344650b52d99831ee97118a08361fbeb","datavalue":{"value":{"amount":"+0.7539238929748535","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":"Q5400853$F8476BCD-6C1C-4EEE-94EF-400137574428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91d68debd6ca26227a94a8e51493d2e76f4643c","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e8a6cac5197c607613e9025b592435c49211cf","datavalue":{"value":{"amount":"+0.7539234757423401","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":"Q5400853$9D1C066D-592C-40A1-B577-6E6B89E74769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a344f6111fe7efd0987c2174e6d7869bba33fd","datavalue":{"value":{"entity-type":"item","numeric-id":3839061,"id":"Q3839061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07cea9d5571333c5b6a58739a74cfcea4fdb1a7d","datavalue":{"value":{"amount":"+0.7384343147277832","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":"Q5400853$7B81B90C-5FD1-4B93-822E-23B50B9F6B9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logical framework combining model and proof theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logical_framework_combining_model_and_proof_theory"}}}}}