{"entities":{"Q5747640":{"pageid":7777191,"ns":120,"title":"Item:Q5747640","lastrevid":51080162,"modified":"2026-01-16T13:36:01Z","type":"item","id":"Q5747640","labels":{"en":{"language":"en","value":"A new foundation for Nominal Isabelle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785333"}},"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":"Q5747640$CE4FD9CF-C58D-4F7B-8332-E1067F0E106F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb1f652e900f4a4b0f3ffe554f2fb41d018271ef","datavalue":{"value":{"text":"A New Foundation for Nominal Isabelle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747640$39589661-5F06-4DED-B4F3-8399D96E1AB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"068badaccc15122e7323b83477c6ece903432e56","datavalue":{"value":"1291.68350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747640$ABAECB53-1777-4976-9D3A-04825D7DBA66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f54d707cc9dbda90ca6a9245000b374cbe40ddf","datavalue":{"value":"10.1007/978-3-642-14052-5_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747640$D79F6E12-9B7A-4B42-9CB2-8C7048E8AFB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab2f745f26ee211bc2fd3f1017cfc1bf31e01f03","datavalue":{"value":{"entity-type":"item","numeric-id":832213,"id":"Q832213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747640$371ACE68-F15A-49B1-A3E4-159F8C2B0F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8be13823e57b532010d417bfefa3b5133f759f9a","datavalue":{"value":{"entity-type":"item","numeric-id":860832,"id":"Q860832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747640$B516B53F-B397-424C-9725-24D7A9AA4F8B","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":"Q5747640$39F2B35B-5441-4133-8852-F4657772C8F0","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":"Q5747640$FDFC4FB1-E8F4-4AEC-BE92-E3E6D0FD00EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747640$37B75358-E275-4F8E-BE02-9D6FEF966A95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ce864a0348b388aef9f5b26ad263b93129871fb","datavalue":{"value":"5785333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747640$80A0E827-95D8-413F-AFF6-8258C3790597","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":"Q5747640$9451B4DC-E28F-4057-8457-36831F1E5581","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":"Q5747640$83A948F2-D5CB-4791-877F-549AD7B45FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747640$3079C451-5235-4D7E-8ED1-F5B98D9FD41C","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":"Q5747640$84E8EF4E-4F6E-4132-9FCD-532731E5D19B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68cca3f736d3b71f5c8a7421d139ed0c95df62c1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14052-5_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747640$3982F3FE-CA9C-400E-828B-0E5018409068","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e07594082bc3f09eaa35e73b6f683d1ff37a2f5","datavalue":{"value":"W1544467561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747640$493D2151-BF47-4EF6-BEED-670FBBE53DF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b403893b3853ccc2d56f9e150dc2696721cc1178","datavalue":{"value":{"entity-type":"item","numeric-id":5891628,"id":"Q5891628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780bf455773b17cbc29c4c028c08220911bfa024","datavalue":{"value":{"amount":"+0.8057739734649658","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":"Q5747640$2D9ED4AF-88BE-4572-B245-CB6F9D1460C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b0f0d0f0a622c9959dcd383c9f471cd4a0a93bb","datavalue":{"value":{"entity-type":"item","numeric-id":5892493,"id":"Q5892493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f1d2447911a25caf4e1a3a00654b12f40855dcf","datavalue":{"value":{"amount":"+0.8017712831497192","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":"Q5747640$BD105ABA-C931-47E5-BAA7-973172B5456A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad70124600704120650b3399879cba7e852de047","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1231e9896f87a925d39b67c8c04b3071869edb23","datavalue":{"value":{"amount":"+0.7768594026565552","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":"Q5747640$24C2E79C-014D-4041-AC1F-47F7FCD0755C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a8121b45f5a2121f5d02e937ed3d255985aa611","datavalue":{"value":{"entity-type":"item","numeric-id":5394605,"id":"Q5394605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f5506c4a7ea2cd8a8c05ba2d96febafc036f4e","datavalue":{"value":{"amount":"+0.7690173387527466","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":"Q5747640$EFA8782E-7D35-405E-BEFA-010C07D1EC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5368256d2506400204555ca66175ed942dde112c","datavalue":{"value":{"entity-type":"item","numeric-id":3100205,"id":"Q3100205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d32ea9bb3a597a993e23dae4322033e9edd64ba0","datavalue":{"value":{"amount":"+0.7501947283744812","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":"Q5747640$39A94229-86EF-4498-855E-2AF56019F6F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747640"}}}}}