{"entities":{"Q654913":{"pageid":656762,"ns":120,"title":"Item:Q654913","lastrevid":42624965,"modified":"2025-07-07T08:20:25Z","type":"item","id":"Q654913","labels":{"en":{"language":"en","value":"Representing model theory in a type-theoretical logical framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5991567"}},"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":"Q654913$394410E5-28B9-4B9A-99E8-5E5955FA4F1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c7fbeb3314c7fcddf621a724f969f1a2b9f3ff7","datavalue":{"value":{"text":"Representing model theory in a type-theoretical logical framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q654913$87D1C427-A6B4-4525-9375-3D6F899E44F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc5f59e6fb567ef486da5718211b30cf9c55bd78","datavalue":{"value":"1236.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654913$C25AB0C6-8760-4913-82A8-5DA0CC8D42F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e727f7412a28c7638c002661822734993886d80a","datavalue":{"value":{"entity-type":"item","numeric-id":654912,"id":"Q654912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$C0027D52-9473-42C5-814A-0D27F414F246","rank":"normal"},{"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":"Q654913$17A38856-1E17-481D-9953-462A44C5A1C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$20DAFF07-3A16-440F-869A-68487A4D1D8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6836ab67fc2e423e324b6a9004cabbbda791c21a","datavalue":{"value":{"time":"+2011-12-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q654913$A84DA3D0-793B-4190-BE1C-69EE198EFD2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654913$1971DD18-C893-46DE-B4C6-39BAE725276A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654913$2FB83232-F77D-45DD-B6D5-771765AD43EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"771baf6ca5f0255524a58945feed67ddbd0fc776","datavalue":{"value":"03C98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654913$8E963EF1-6C15-4418-98F2-8F72AEA53E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654913$C4689C8B-D381-4E37-9378-A4FF1C5B51F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7eff6b04b06e386fc792118421b32e538d5f26a","datavalue":{"value":"5991567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654913$52A79F1E-B086-4808-89D6-7A3B4D1E42DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q654913$4C96757D-878E-46F6-91AD-7C700951CD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1a530ebebfe9d67cc01e23074092169ca8f759","datavalue":{"value":"model-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q654913$340DFB79-E051-473B-8B87-DFB0F218221D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q654913$7988ADF6-087A-4292-AB3A-F93F865EE1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q654913$AE5F80CF-4172-4890-8F76-806521818539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97d05226f952868abd85647dc413654ff79a2675","datavalue":{"value":"Twelf module system","type":"string"},"datatype":"string"},"type":"statement","id":"Q654913$8EAE6AD4-2E65-48E3-A2DF-C67E50871981","rank":"normal"}],"P1463":[{"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":"Q654913$C78C9444-D739-44E6-920D-38BC503791D5","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":"Q654913$7A4F22D5-D9D6-4B1F-A22E-FE6F0FF3B541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80ad234dc0924dda60983aa70fc106cb35f3b96e","datavalue":{"value":{"entity-type":"item","numeric-id":19080,"id":"Q19080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$B2E47BFE-67C2-482F-97AE-CA4B09A93BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$3B673A08-A912-448E-B7B1-09179F203011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ee4919dba608fb88895148261fb02ed1a66290c","datavalue":{"value":{"entity-type":"item","numeric-id":21587,"id":"Q21587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$93CCEA9A-2E40-470D-9654-A8381042483D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$D15F2313-A23F-4F0D-B155-BA8A063BC8B8","rank":"normal"},{"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":"Q654913$EC9E45DA-B6AF-43FD-B890-47A1FBB8131A","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":"Q654913$9D89714C-4E20-4931-A96D-E5E406A1794C","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":"Q654913$B5C52BDA-67F4-42CC-B825-5845B7163BBF","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":"Q654913$82AB996B-6CE7-4253-8989-683E21F38C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322cfa9d250a6a53032394dc0d9f662b03cdb062","datavalue":{"value":{"entity-type":"item","numeric-id":19193,"id":"Q19193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$629304A9-0637-46DB-A1F5-6D5B0FE7FDAE","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":"Q654913$1CDF8BB0-91F9-4A74-8D23-D08762A88B6D","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":"Q654913$6045531B-262C-4EF5-B602-3CB221C5A289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$11DA2959-26BC-4BB1-97B2-C5F2D1B48C3E","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":"Q654913$0D32E343-DEE4-43B0-A743-FAF8D7ABA651","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe01861ff0d95231205ab35c8e2e43b33f851e53","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.03.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q654913$BB1A0232-C633-47B3-A73C-C61F0D84E2AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f37e8f31e56a710a4c163d502506a114d6a4ecd","datavalue":{"value":"W2046048646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654913$CE3F5C1C-CD6B-44A2-A74A-738652846771","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab98c2b4417373f1669b95e2ac3656950d8078a8","datavalue":{"value":{"entity-type":"item","numeric-id":3612433,"id":"Q3612433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$DA589595-4D7F-4221-9290-CF400FA64BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$4B3871EA-8E21-43A5-86FF-9D94DDEFD262","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":"Q654913$A72158F7-7ADF-46B9-A5DA-DFB02313E4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c77a336cec51115f83ddcee5cc4b7a1820c95222","datavalue":{"value":{"entity-type":"item","numeric-id":2722016,"id":"Q2722016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$6CBDD039-C144-4420-86A1-BC34F0E0D4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabf8cee824c9a4fda7f420caf89018796ca96d0","datavalue":{"value":{"entity-type":"item","numeric-id":3889024,"id":"Q3889024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$5DCA74F0-121D-4641-BB59-FCC9F523E6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$4C1ADB6E-F60D-4C7C-9D1A-5A622B4DC51D","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":"Q654913$87AADC61-1EF5-42E4-92F4-1847CD49FC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bfb5a203f48711c5b2543870d11dc52b7197c39","datavalue":{"value":{"entity-type":"item","numeric-id":3613410,"id":"Q3613410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$C2FFBAB3-F330-4716-85B0-CDC7804F085C","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":"Q654913$0AACF053-82D5-435A-9ACA-E6C551936218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$39E50EE1-FD75-4BDC-8DD3-B1B15FCFF89A","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":"Q654913$D5BDB547-5391-498E-89F9-6F4A96AE7E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ca3169b9facb7516f26162b8b9f1adfa3076fd","datavalue":{"value":{"entity-type":"item","numeric-id":1850959,"id":"Q1850959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$25D6BB2D-AC07-4750-A586-4B3BEDC6B975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ee1071310872ce51f69ac724d1b1cff46fae5","datavalue":{"value":{"entity-type":"item","numeric-id":5610115,"id":"Q5610115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$390A761B-3DBE-4BAF-AE93-EAE1A01D09CC","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":"Q654913$593B5463-E190-40B0-A14E-1293BF4DFF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d504f8f758d30af6cf41a7818010f5320c73d6d","datavalue":{"value":{"entity-type":"item","numeric-id":4723263,"id":"Q4723263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$6D0DE157-6C8A-464B-A427-8A0ED424E460","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":"Q654913$FD2059C6-224F-47F8-91CE-7D71EDFDA598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89a5290015084f33b53f5ecddad650a9198f632","datavalue":{"value":{"entity-type":"item","numeric-id":5839930,"id":"Q5839930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$AF51725B-AC55-47A6-AD45-296C630E75CF","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":"Q654913$4E5E80AB-2476-431B-A567-E41D0EB44CF9","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":"Q654913$31BD477A-31DD-48EF-9A59-122C8C651F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7f0608973a37ced6c96c455e59335b6fca413e","datavalue":{"value":{"entity-type":"item","numeric-id":5170290,"id":"Q5170290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$6866C290-1A93-4BC0-A6C1-4D7C63CDB8D4","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":"Q654913$C88F4647-97C7-4E79-8D09-C1888F93E2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b176c2a356ba8de8a18b774ac2537d3b09f8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5200129,"id":"Q5200129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$6286E29B-1A42-460E-BDDA-40004CBB121A","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":"Q654913$6FB63118-42FB-4B71-8A63-27B083B9E344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$E4203CE6-492B-4507-A511-3AFC4D635572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6063e4a144bafe1447ae8b10555347d26c418f1d","datavalue":{"value":{"entity-type":"item","numeric-id":3189797,"id":"Q3189797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$72B97820-F15D-4422-9B5C-3943C875D447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3417c55e96afb1c05cdfbf6ea569b92c908ce71","datavalue":{"value":{"entity-type":"item","numeric-id":3637193,"id":"Q3637193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$AF75E224-19DB-4BB8-94B5-E9CA603C7628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$14754DFC-6989-45BF-80B8-D7DDF3B1DFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e76c3561d4ad59b1eadb95f4ad79b1c13c964cb","datavalue":{"value":{"entity-type":"item","numeric-id":5311059,"id":"Q5311059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$A7768392-D68A-4882-B041-9F0E295890F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$F9774019-132D-4799-AC52-E596C37051DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5769eff0a2ede6650e8ecb17abc74e30a6cc9dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4360856,"id":"Q4360856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$836A3CF1-3E2D-4BAE-B1B1-C6916788D1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"923d9841ebb82ba7564626f46c70dd17455ed552","datavalue":{"value":{"entity-type":"item","numeric-id":4267723,"id":"Q4267723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$2E4DA5C3-6A23-422E-8484-0CABB7FD3245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90ccc4232a25928b5ee338afd1d6ed0ffed812a8","datavalue":{"value":{"entity-type":"item","numeric-id":4362967,"id":"Q4362967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$6F3BC6DC-3BCD-4BFB-906F-23B43A609E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8219577a178b5e6bc0cc5aede73996c94784449","datavalue":{"value":{"entity-type":"item","numeric-id":4435474,"id":"Q4435474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$7BD5BFD1-10E7-4104-8816-DE07B2939A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$AC420E8D-7648-4F81-925E-E8B7440BBF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299da2cdaab4313c0718c773bd4fb2786347b19a","datavalue":{"value":{"entity-type":"item","numeric-id":4790669,"id":"Q4790669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$95BBA019-BE74-4D95-ABC2-532BA728DE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$F4C4EDD1-38F6-4DEE-A8D4-23B059EC2A81","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":"Q654913$2466C6CB-7D00-41BD-84D1-80AEEE5D1097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be75b2de8c8bc279b3324aa378900b2836e97b9","datavalue":{"value":{"entity-type":"item","numeric-id":3666260,"id":"Q3666260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$4AEF2EA1-FF83-4B44-B703-3ADBE2D2DFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fedee4387bd72c28c4564ba8c0f4992a7d9ef85","datavalue":{"value":{"entity-type":"item","numeric-id":3265664,"id":"Q3265664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$8AB589C3-13C3-47D9-A2C7-66E37B23B273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b89338c6f304b64ad813e99d2dac647af4bb15f","datavalue":{"value":{"entity-type":"item","numeric-id":3523189,"id":"Q3523189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654913$B7E80E9E-9813-4246-9E2D-AA7CC9B5C013","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"675ba63d94988130e7147e98a2b879046848ad0c","datavalue":{"value":"10.1016/J.TCS.2011.03.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654913$277E4EAA-9133-4167-A65D-DFEE396368E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea3e4ccc99ec99ee1f0a5d306e57541a04f62b72","datavalue":{"value":{"entity-type":"item","numeric-id":5170290,"id":"Q5170290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc46660a5f61a39fe23b79fcf9ec8497afbe488","datavalue":{"value":{"amount":"+0.99999976","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":"Q654913$802889C8-993E-4315-88A0-7C977783DA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cafac9ae1e05d141a3096c624f5ee14075b19f","datavalue":{"value":{"entity-type":"item","numeric-id":3426565,"id":"Q3426565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc90ac8b603a6aef1b8e0bb432a53755783d926c","datavalue":{"value":{"amount":"+0.92330515","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":"Q654913$B7F2B1CA-57A6-4F92-A221-796132CABC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ed3c121fd1e1f5055e66290934b5c7b462c674","datavalue":{"value":{"entity-type":"item","numeric-id":4570949,"id":"Q4570949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e4ccc1ef460e64692b8c82abe7a59cb4d5afce0","datavalue":{"value":{"amount":"+0.9198203","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":"Q654913$378095C6-44D7-4AF3-9754-F7BF43A9EF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb0fbc6968e9a2f89e38fedb41ff015c9a03202","datavalue":{"value":{"entity-type":"item","numeric-id":988551,"id":"Q988551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a595a77f9344a74f00e99a1fcab30b6e0c61acd8","datavalue":{"value":{"amount":"+0.9154598","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":"Q654913$68A87C02-7647-49F1-8168-667C3272F214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f559e33bdae5d6031398bd74dad7b706db362e","datavalue":{"value":{"entity-type":"item","numeric-id":4282512,"id":"Q4282512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d01bf6c387b98240b0401e99d44ceac55473bb4","datavalue":{"value":{"amount":"+0.9098333","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":"Q654913$819216B9-2A7F-4870-AB6A-BC5B459E92E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a0a142ad2c3598c030546208e0fe5fe3c05610","datavalue":{"value":{"entity-type":"item","numeric-id":4862761,"id":"Q4862761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db1999b757efef483869f7dbc31768c081fc54ca","datavalue":{"value":{"amount":"+0.90950346","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":"Q654913$45DF29CD-93F1-4FD3-9166-76F1896002D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93ce8044a5d9132360c2f1f380ded6f7b3676f90","datavalue":{"value":{"entity-type":"item","numeric-id":5287682,"id":"Q5287682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"984e78244145ff4e2b4557b58b94c1ec86ac1147","datavalue":{"value":{"amount":"+0.90780795","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":"Q654913$35B627B3-678B-4BFA-9F81-7599D5645F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2487d1dd1529bd0042c51f6552b2fb3e55ffbfcd","datavalue":{"value":{"entity-type":"item","numeric-id":5496624,"id":"Q5496624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcedd73312ff2904f049fa7b1ca8484c78e98a41","datavalue":{"value":{"amount":"+0.9071889","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":"Q654913$2EBBB237-7FDE-43A9-B55A-6B642D66D787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96f496254710d09b8fb7f3603c930e096265ed8c","datavalue":{"value":{"entity-type":"item","numeric-id":5311054,"id":"Q5311054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"339bbc0f4c0671523296bea047d0ce23b718357e","datavalue":{"value":{"amount":"+0.9063288","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":"Q654913$798B0951-0D2D-40E3-95EA-0BBB6268AA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4509d6cf50a1c33ddf4cbe35b412fdb615a29365","datavalue":{"value":{"entity-type":"item","numeric-id":3520836,"id":"Q3520836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"339bbc0f4c0671523296bea047d0ce23b718357e","datavalue":{"value":{"amount":"+0.9063288","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":"Q654913$5F479DFA-A50B-4D6C-A028-057BD510F3C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:654913","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:654913"}}}}}