{"entities":{"Q7361397":{"pageid":31519730,"ns":120,"title":"Item:Q7361397","lastrevid":105365342,"modified":"2026-10-07T13:35:47Z","type":"item","id":"Q7361397","labels":{"en":{"language":"en","value":"Amortized Complexity Verified"}},"descriptions":{"en":{"language":"en","value":"AFP entry Amortized_Complexity"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"317a3fd4cd517ed875930c1e44f9ddd954748f04","datavalue":{"value":"https://isa-afp.org/entries/Amortized_Complexity.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361397$069FDA54-8005-4D90-8BD2-40A07E34E71C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57d603758fe5a0b1a306672087901c5802a7cd9a","datavalue":{"value":{"time":"+2014-07-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":"Q7361397$E0099EA7-B30E-4CE9-8D3A-AA5BC4C250DE","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"78083bbf5b06a4f292e9e00ee445948e4fa51db5","datavalue":{"value":"Tobias Nipkow","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361397$49FA6CB4-2E97-4E9A-974F-40379C3DDBAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b276afe04ee9c3a382fe7165721453b617ed7975","datavalue":{"value":{"text":"Amortized Complexity Verified","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361397$3D3B7102-C0E8-4D23-BDB6-C1D3A31F3178","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"59a378ed400d47e9310d2f692097fe733789c7a4","datavalue":{"value":"A framework for the analysis of the amortized complexity of functional data structures is formalized in Isabelle/HOL and applied to a number of standard examples and to the folowing non-trivial ones: skew heaps, splay trees, splay heaps and pairing heaps.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361397$0C5D2059-EA47-4452-8BD1-A9086EF7F994","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361397$694A3B4B-47F0-4E41-B6F0-F7747A31DF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b980742713f9c604d1b9de272a394cd150a1241","datavalue":{"value":{"entity-type":"item","numeric-id":1087333,"id":"Q1087333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361397$85B81650-D726-416B-B6D4-79F906DA48D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f9930c7eef9ded01a2755b2f40ce9744a8e4ba","datavalue":{"value":{"entity-type":"item","numeric-id":751283,"id":"Q751283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361397$7BE4848F-AF50-4B4E-BC4F-56542F8E70FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"997214a7b55ffabdba512d09541bacb2e1bdf519","datavalue":{"value":{"entity-type":"item","numeric-id":2945642,"id":"Q2945642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361397$4C2DF099-2A45-4925-ACE5-00A78845AD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b3060c6ee9db0a8d2353832be4b174845642139","datavalue":{"value":{"entity-type":"item","numeric-id":1209317,"id":"Q1209317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361397$0772DBAC-34B2-4F46-9DC1-40349E34C3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0f53d9231bc5ff64922d7dd218bb49071786117","datavalue":{"value":{"entity-type":"item","numeric-id":3768416,"id":"Q3768416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361397$CE9A5BEC-6A0F-4B89-A98B-CA6E2E78FCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0bba8b7c8542e2c26e84a3bf236da2ed58fd93e","datavalue":{"value":{"entity-type":"item","numeric-id":4728230,"id":"Q4728230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361397$3203AD17-258E-4D86-9C04-2899C08B495C","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361397$A69FCEC1-382D-4C23-ACB4-65575834A393","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"693b52a7b9dd01d1026b7fe332818dab80c9c06b","datavalue":{"value":{"entity-type":"item","numeric-id":7361590,"id":"Q7361590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361397$369ECE2A-2A09-45B3-B230-21CD80EAFB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"383ee0493fed4fd05a41d9334be19351a4302e45","datavalue":{"value":{"entity-type":"item","numeric-id":7361252,"id":"Q7361252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361397$89279E3C-F8C6-4686-8F94-18E4AC5804D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"fd0f40dea0909149a861361e56043ea26383f30c","datavalue":{"value":{"entity-type":"item","numeric-id":7361860,"id":"Q7361860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361397$316B8A8F-9EF7-47B6-954C-E1D7B9C984C6","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef7bddd24a035fe32f48fd95ea6033928a9b8e67","datavalue":{"value":{"entity-type":"item","numeric-id":7360788,"id":"Q7360788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361397$A97E3E07-8FAB-42E2-97BC-B47767F36534","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361397$ACB56C97-02AC-4378-B9EF-37430152A651","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Amortized Complexity Verified","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Amortized_Complexity_Verified"}}}}}