{"entities":{"Q5327340":{"pageid":7356914,"ns":120,"title":"Item:Q5327340","lastrevid":51794012,"modified":"2026-01-20T01:59:32Z","type":"item","id":"Q5327340","labels":{"en":{"language":"en","value":"Light-weight containers for Isabelle: efficient, extensible, nestable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196160"}},"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":"Q5327340$DB0AB023-EB22-4D0E-86E8-DDEF6B991827","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f69d6d2d663bbab7358c17ff4cb717291674e0a5","datavalue":{"value":{"text":"Light-Weight Containers for Isabelle: Efficient, Extensible, Nestable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327340$38D7FA10-FB7F-4A5B-A335-55242179C058","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2379dec68e8ed24326bd1fdda76e1f72bab7ae1","datavalue":{"value":"1317.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327340$0229B849-434A-486D-9FDF-FF8A3B3BEDC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ffa79e235a9f49fd3433eff81cdc0ef36b441bb","datavalue":{"value":"10.1007/978-3-642-39634-2_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327340$E1F81954-ABD1-41FA-9A0A-6F5492432C02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327340$C1DBDD85-B893-4A67-B0FE-852F336AC398","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5327340$F92474DE-BC11-4933-BC43-C08BF7CD46C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327340$E5DB595D-9BF8-4CA6-B940-8723FA0F09E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11aea9ee61406d3e2e01ac9f5d293e80607fc12c","datavalue":{"value":"6196160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327340$04C5422D-CE4C-4099-9C77-D0555F6BDAA6","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":"Q5327340$36ACE118-5C3D-483A-B598-CFC563142B14","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":"Q5327340$0CC06DD4-9D2C-471B-B422-035CF78CE2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d240ff7e867c5bb76d4187c835e1f4943ad921eb","datavalue":{"value":{"entity-type":"item","numeric-id":40250,"id":"Q40250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327340$CA0E132D-38E1-4EAB-B5FA-0B91F50612BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ecfec2b897d4a7a670a65c54d1d60a84a78b02","datavalue":{"value":{"entity-type":"item","numeric-id":40305,"id":"Q40305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327340$75B81E60-7DFC-42FA-96E6-D672C73BF62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f69ce8e183a2c9ca5ba2ecf7e92f605b249d8e74","datavalue":{"value":{"entity-type":"item","numeric-id":40306,"id":"Q40306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327340$6D64E34C-7CD4-4062-BA3E-4424380CB436","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b18da065d50ce37e447f1f6708524421ab8f031f","datavalue":{"value":{"entity-type":"item","numeric-id":1663232,"id":"Q1663232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327340$079B3195-90D6-46A2-B079-E21C8D7882D3","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":"Q5327340$C85169C3-DC99-4AD5-A845-E8676A4D90B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69f829b009d13a552f2fa3d02f312fe47a5cbfdd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39634-2_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327340$D4FAFBC8-9FF5-445F-A3EE-E11BC81C5CEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb3b6db66f5725bd52df8ba163c74f038a3db828","datavalue":{"value":"W118932385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327340$EBA70A9B-2609-4052-BDEF-4622BBFD6D32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b08efbbf9ea68d31aeddb1977d895fd94a212ea3","datavalue":{"value":{"entity-type":"item","numeric-id":5747660,"id":"Q5747660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"202d3b0498776e2fd8da873c09c28db75981620b","datavalue":{"value":{"amount":"+0.761673092842102","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":"Q5327340$D58A1925-6276-4E6E-8D9E-E03BE627646B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c977d5da30781aedab959d3b8317c7b9eca99d9","datavalue":{"value":{"entity-type":"item","numeric-id":5327339,"id":"Q5327339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf75e54ede1ddf3081c2c4c74fa2d0cc1cc4a33","datavalue":{"value":{"amount":"+0.7411206960678101","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":"Q5327340$43993C4A-7071-44A4-9587-86F7FFA86A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662db280aaa7eeb61c216bc5c52425ad27aeec81","datavalue":{"value":{"entity-type":"item","numeric-id":3612442,"id":"Q3612442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f741d3de019325f6ca7dd0de6417bfee1a0bfd4","datavalue":{"value":{"amount":"+0.6978955268859863","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":"Q5327340$86B3FFC3-1647-4523-8052-6004629A3EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef914c5d16ae991870856bd539a5283395a477b7","datavalue":{"value":{"entity-type":"item","numeric-id":3543647,"id":"Q3543647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e58aa1c0520faee7af0eacaac3a44c5642292b","datavalue":{"value":{"amount":"+0.6810372471809387","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":"Q5327340$6E9601A7-0EFC-49FD-A8A1-C9AA390CDDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ddfe8706eb56f964bdfd12380be6a420c1d49e0","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"327a8bafb9131d1f43282522c516313b7ec1ec85","datavalue":{"value":{"amount":"+0.6799505949020386","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":"Q5327340$F7B1C424-704F-42F5-A224-01ADB16645DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5327340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5327340"}}}}}