{"entities":{"Q2018659":{"pageid":2029401,"ns":120,"title":"Item:Q2018659","lastrevid":55910077,"modified":"2026-02-21T01:48:41Z","type":"item","id":"Q2018659","labels":{"en":{"language":"en","value":"A graph library for Isabelle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6419296"}},"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":"Q2018659$B354A538-42DF-4148-B864-60A3C0693E03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bc368e6dc766c9b335ef288f241c71fc1ec30a7","datavalue":{"value":{"text":"A graph library for Isabelle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2018659$4E13DAA6-F452-4BD1-A0F1-B8D5E3F0C1CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd39eaa0e4e88380d77fbdeff8f731fccce72810","datavalue":{"value":"1308.05055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018659$21564C88-BF65-47BC-B931-9AF5400556F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16f7b9fe831f256485e2d257e46c18a381d35f3d","datavalue":{"value":{"entity-type":"item","numeric-id":2018658,"id":"Q2018658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$0EBD216F-DA40-42BD-9B9E-B29F2D8C8434","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$489E80C1-FCE7-427C-8C22-DFD836718BA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b77c42bc66f346d9aff545852c0924441ebde207","datavalue":{"value":{"time":"+2015-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2018659$BCC0E167-55EB-43A7-BF07-E3761F8C7A1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"83bbf0b299346afb89579c3d6a26f4aedc76938a","datavalue":{"value":"05C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018659$1F0B2A6D-2C19-4195-92AD-D0FF5BCBFFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eef1b49f4a66afb755b22d7419db9d61ba07415f","datavalue":{"value":"05C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018659$8505524B-A894-4BB0-87B2-79FD7BBC63C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c89b62d26efe2bd61778750ed646cabfe658e745","datavalue":{"value":"6419296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018659$82953C8F-972F-4D2F-A1CC-148944E8D310","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf4dc3db86d44e89a36d3ec12340c2571d04f06","datavalue":{"value":"graph theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018659$5FA26BD8-61E3-404E-9DE9-6D100BB1C1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018659$7C839F1A-7FD3-46BD-825D-86F4ED629F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5343ecd15a8e87cb138c7d9e4c8f0d52a5afdb65","datavalue":{"value":"HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018659$176143AB-A105-4CD2-BF81-D97BCD57FB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066966bdee4aef1690c580b9f40ba2f9acae33fe","datavalue":{"value":"Euler","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018659$40E4E7F1-0018-4545-924E-3DE488ADA9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5318029613e9c643e2677acbaf7adac8da52842f","datavalue":{"value":"Kuratowski","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018659$CB1D774B-1279-4D28-ACB1-BFBDD66F150C","rank":"normal"}],"P1463":[{"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":"Q2018659$5B5613BA-0114-423F-AD41-38C54262C76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87cca02f8a00784fd1e7b5b6c01b040b2f0e2ae5","datavalue":{"value":{"entity-type":"item","numeric-id":40295,"id":"Q40295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$67BB0FC2-2C19-45B9-96F0-75774D0B29CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a0f9a97f12aafd7c258bb9b7eba4ff6246a62e7","datavalue":{"value":{"entity-type":"item","numeric-id":40362,"id":"Q40362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$F36C9151-D7D5-4833-A612-F5685945780D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0fac9fb5cfad6545c88cc8857964533dffc3ed17","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$0FEC4EE4-787C-4617-A4B5-01EA174608B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$CF7EE4FD-EC95-4F74-AD40-AA3DBC5E7BF4","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":"Q2018659$71F50093-9030-400B-BDD2-458425801930","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":"Q2018659$4AFE4CC6-9AAF-4B4C-A009-752A3A0570D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ad21f150c621099eebc7c2e673cd9cf43b81a4e","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$52E2FBED-93FF-4F6A-8B96-8C2ED9C8183F","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":"Q2018659$33ABB0E3-A9DF-4CD8-A3F2-B37374211459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abc04463ac7dbfda28a2b6bd27bc029ac4915bf3","datavalue":{"value":{"entity-type":"item","numeric-id":44086,"id":"Q44086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$F6E93218-03AE-4B09-9A5F-E0165D2E6802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0a25f11521438371c8e6ad465b53d2cb40829a8","datavalue":{"value":{"entity-type":"item","numeric-id":40292,"id":"Q40292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$835B9D6D-AC84-4E29-8667-844834440514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8970d53f5fc5de8a7599b5d4b50f76cbd183814b","datavalue":{"value":{"entity-type":"item","numeric-id":13265,"id":"Q13265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$DE69FD76-93B3-46D3-988F-6BA182A10579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"665b81d9c0f077e3e09c3e4e80080780b437ea70","datavalue":{"value":{"entity-type":"item","numeric-id":40264,"id":"Q40264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$6B3F753A-89E0-4B10-ACC3-6307750F6561","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":"Q2018659$2E18AF53-AD6B-4ED7-9AEA-4FBE2E090BA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79b541de6a0ab00696e2babe4f285878d382fb3e","datavalue":{"value":"https://doi.org/10.1007/s11786-014-0183-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2018659$7A080B2F-6FB8-429D-A491-6869F43899BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bebc838375d0c19aa169bbdc6c0baade85d2faeb","datavalue":{"value":"W2044116584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018659$EF9F7FEC-7FB1-4A38-B7DC-588A38A0B4E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0eae107ea1a4b558f4d87379a7cb85de7f5f09","datavalue":{"value":{"entity-type":"item","numeric-id":2351144,"id":"Q2351144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$04EA0786-F03E-406E-9BB2-8B87A8831B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4738798d9702e646d9743f53f948745583da971","datavalue":{"value":{"entity-type":"item","numeric-id":2352487,"id":"Q2352487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$A7C78CA1-7FCB-46B4-88C4-DC084D549C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2481155a42676d821e036db9e722c8d7abd317aa","datavalue":{"value":{"entity-type":"item","numeric-id":5502988,"id":"Q5502988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$BA9FCE81-0FCD-4475-804B-DDFE99C4233A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d62e967816953cecad41268e715794a55d56323d","datavalue":{"value":{"entity-type":"item","numeric-id":3577833,"id":"Q3577833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$A1F2E2C1-B7F8-409E-9D3E-B80D7DC22496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc34853b7d5eb0a64d396568949e59bcc633dd03","datavalue":{"value":{"entity-type":"item","numeric-id":4044590,"id":"Q4044590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$0D43C814-D92B-4754-8827-A66CFBCAC009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd7520de1b4bf1bc0bba49f7075996531473a953","datavalue":{"value":{"entity-type":"item","numeric-id":5477654,"id":"Q5477654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$E58EB6FC-7D75-42D1-9D20-3369A587FF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de431ae5e1e6d0bce50265c8838d96541539c883","datavalue":{"value":{"entity-type":"item","numeric-id":4702188,"id":"Q4702188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$2A7F5585-BAE1-4C58-A742-3A9945A72B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19187356da9a378282bb90537d8cca82d9231e95","datavalue":{"value":{"entity-type":"item","numeric-id":3613398,"id":"Q3613398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$ECD41354-88DA-4756-B44B-8CDCA3B2C297","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":"Q2018659$7021606A-B3F9-4F46-A61F-05025D89BE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086e9ce0435a5ace3b0ff574ca48c1a67cb2d9af","datavalue":{"value":{"entity-type":"item","numeric-id":4862678,"id":"Q4862678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018659$C06560A9-F64D-4FFC-8255-5ECBC29668AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbf6a680c7a5383082c0c95e8f747eba42cb6433","datavalue":{"value":"10.1007/S11786-014-0183-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018659$FD102BA3-21B9-40DE-8613-F8C8DF512C67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"095d34edfc3a38f6e6c126cd1389523e3c4a40cf","datavalue":{"value":{"entity-type":"item","numeric-id":2209536,"id":"Q2209536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f3348a616db2379d16c5b81e1d28bceb6c31cb","datavalue":{"value":{"amount":"+0.780350387096405","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":"Q2018659$D40E8FEE-0C44-4794-A470-FE1AACD01CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"895a24b297715db4b23a6932e26e2f4e2b1fe459","datavalue":{"value":{"entity-type":"item","numeric-id":4484332,"id":"Q4484332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a4bcd88bba71d50bdce07e049d39fe042d71259","datavalue":{"value":{"amount":"+0.7299346923828125","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":"Q2018659$D98194C0-7893-4E06-9C2F-408BAEE59F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2325710c6380ea4ec214265bd6c909cb0e7910f","datavalue":{"value":{"entity-type":"item","numeric-id":2658808,"id":"Q2658808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd9f72ad73fbbf3072f64ff258faeaeafe49ccdc","datavalue":{"value":{"amount":"+0.714331865310669","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":"Q2018659$FBB99E72-C1A0-49D4-882D-F735D81EF2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987d45e8f2e33fb0c4c91657cb9cf402401c66a7","datavalue":{"value":{"entity-type":"item","numeric-id":3315555,"id":"Q3315555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ed9d26f3a7b0fde66f4c0e5bca9e6137477d48","datavalue":{"value":{"amount":"+0.7125386595726013","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":"Q2018659$C779543B-7C09-45C3-B2EF-02C790440FA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2018659","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2018659"}}}}}