{"entities":{"Q5747660":{"pageid":7777211,"ns":120,"title":"Item:Q5747660","lastrevid":51080207,"modified":"2026-01-16T13:36:08Z","type":"item","id":"Q5747660","labels":{"en":{"language":"en","value":"The Isabelle collections framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785352"}},"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":"Q5747660$A6BB94D2-0FF4-426F-8F37-8401CCBD8090","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44287d8e2843c4eed8fc419867d1b4a8823d60b6","datavalue":{"value":{"text":"The Isabelle Collections Framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747660$CDEE966A-4BA7-4E95-BE22-6FD8171D0F87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ddccdfa99ddfd9a9bf97e97bdbed01166ada770","datavalue":{"value":"1291.68357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747660$F082D0F0-E8CC-4A9B-B9B8-CCC7F0AA9F76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee91d476e2170ef1924bf9f8c8e07db1a8af2326","datavalue":{"value":"10.1007/978-3-642-14052-5_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747660$D4FD9B6B-78A2-4CB8-9384-70A6A020688D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e4be225a6094490d6530fbb2f56929f5bbbcf0","datavalue":{"value":{"entity-type":"item","numeric-id":682349,"id":"Q682349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747660$CF624A6A-EDD1-49AC-A796-005C7F561241","rank":"normal"},{"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":"Q5747660$9EADE279-9464-4E09-AD51-8E6F4134BDF7","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":"Q5747660$B57F8F95-7B59-4FE8-8308-A5FB4F5B67C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747660$0B6C7DAA-71A0-4D56-A3FF-0546CC6B029D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747660$882F51A4-11E1-4770-8D47-EC3AF748A336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747660$457CADB9-91AE-4226-AA10-3E700A704F56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29caaa3980e721596c066b866d1b80e518d1c581","datavalue":{"value":"5785352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747660$D9087902-63F7-400D-B462-45A70FBA39FB","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":"Q5747660$3C885B31-8FB1-484E-B8EF-A10D8243FE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747660$5F3FA971-67EE-47C6-991F-592848DFD6DA","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":"Q5747660$E2527648-87A2-4BE8-A60A-EBEA25A92882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ab5668d708c884e00e91bf8e8096cfef14a43c","datavalue":{"value":{"entity-type":"item","numeric-id":18478,"id":"Q18478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747660$D296A22A-D3A0-4E28-9160-53596CBB6D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36a00a675e842945d4f0b12a80fc4f477fb24f91","datavalue":{"value":{"entity-type":"item","numeric-id":21897,"id":"Q21897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747660$ABA9128C-9C65-43CA-A57D-97A0A649209D","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":"Q5747660$C5859823-0137-4593-98A0-1C1EF32D269A","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":"Q5747660$018EF6F5-5C95-46A7-B293-26BD5845A0D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1da80482970ed5b4b83a43770409161de9d9cc83","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14052-5_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747660$FE44D6CE-A40C-47C2-9707-F88D9B2F0368","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13130624bb4659978d1224f2c58088facfec46aa","datavalue":{"value":"W1581325065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747660$975F2AED-B10C-4749-AE64-687EF9312265","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959be19baa4476667a8bf253e7c26f9c31eafdc1","datavalue":{"value":{"entity-type":"item","numeric-id":2945637,"id":"Q2945637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bd00e27a1ccd6b61830af06e90e5383b9370954","datavalue":{"value":{"amount":"+0.811425507068634","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":"Q5747660$C273B1E2-3F79-4F0E-9117-C153DA016C88","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":"ac35de102db2a065bb66fc5352fac3e7c9865add","datavalue":{"value":{"amount":"+0.7854927182197571","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":"Q5747660$4C7F010A-8606-4A33-BFEF-56D08BC85BA4","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":"ba75bd921aa93514efe55998dec22d58ca0bb7f4","datavalue":{"value":{"amount":"+0.7655835151672363","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":"Q5747660$EFC3DF2B-0DE9-480A-B05B-6CF6DA520381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a16822d47a64a065288c8f5c9b1389718d7e5a","datavalue":{"value":{"entity-type":"item","numeric-id":5327340,"id":"Q5327340"},"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":"Q5747660$45C71DE3-3C81-4527-B90F-399D40BC9A49","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":"103fccd28b4742e5b087aa5b47d065cbd7b44010","datavalue":{"value":{"amount":"+0.7598239779472351","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":"Q5747660$712A2F9A-34D8-4852-BB97-E9A23C2929A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747660","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747660"}}}}}