{"entities":{"Q2914754":{"pageid":2925474,"ns":120,"title":"Item:Q2914754","lastrevid":44728716,"modified":"2025-11-25T13:08:16Z","type":"item","id":"Q2914754","labels":{"en":{"language":"en","value":"More SPASS with Isabelle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084500"}},"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":"Q2914754$1C447C9A-70F3-46DE-8776-D21E20224B24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e36ba191750d55569472ecf9e26b35b53a31a932","datavalue":{"value":{"text":"More SPASS with Isabelle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914754$01D82D00-2AB6-46FA-9BC1-0310F79B2929","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5eeef28d3781f8f4576d3125eb5aee78a5dea65b","datavalue":{"value":"1360.68742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914754$28848720-A78A-4471-9A8E-AC08D300AC33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37cdf63e11df2db9f98cdfbd6f00f85a4fc4fdd1","datavalue":{"value":"10.1007/978-3-642-32347-8_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914754$FB352F2A-9945-45E3-9F45-55F5F1B6035F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c29c686dffd678d9f155b05a4a1aa93e85953c","datavalue":{"value":{"entity-type":"item","numeric-id":287335,"id":"Q287335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914754$A9489E98-FC42-4A01-B9C3-149633324B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ef4ea61388b67726824db4b9b444c6863305920","datavalue":{"value":{"entity-type":"item","numeric-id":817686,"id":"Q817686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914754$BB781410-77DF-4217-A09E-3A1461EC8C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55957acbe8e8a1274a732c79379d9793e5709486","datavalue":{"value":{"entity-type":"item","numeric-id":2405267,"id":"Q2405267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914754$78172725-37BC-4C5C-925E-A31DB3398DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914754$9AE8861C-5F5B-42A9-8902-9C7D8A903579","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":"Q2914754$5E17D5FB-D51D-41F9-AD72-3B160741F125","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914754$C55C10B1-4E06-49FE-86DA-67EEB5C27D6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914754$7449C390-8062-4079-8901-2A013E6AAE5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"601daedeee3180c2978f93e110de1350c0ef2698","datavalue":{"value":"6084500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914754$B9CD3408-E76F-4453-8950-478D3AADE3D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914754$856205CE-FEAA-4DB6-9D31-DE009D3101FD","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":"Q2914754$3206D863-82C0-40D7-80B6-67B60B3DB3CD","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":"Q2914754$10FB9771-9DF8-4B74-BFF8-42DBD9599277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914754$0E7D7AC8-CE50-4DF9-8372-5F435EDCE9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914754$4B6B1CE7-6689-4BA1-90E3-604B6AA48D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914754$A38DC0C0-1F68-49CE-8204-E486D4FF1BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af3b5ddb4818ec81bb9bea3bab4852742bff1bd5","datavalue":{"value":{"entity-type":"item","numeric-id":22101,"id":"Q22101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914754$4DEE30C5-49C0-4733-8EB0-70E336A44942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"233bd03fc74bc4c01e6f828569e5eb13f94bb747","datavalue":{"value":{"entity-type":"item","numeric-id":22242,"id":"Q22242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914754$61FA2D8F-822E-4D0E-8E39-31B377138D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914754$26D05E61-4F8D-4602-B288-FBAA2C5311D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914754$1EA1A7C5-6CCC-4B97-A7E6-9F9F6AB77187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914754$F7088F8F-9545-47C2-AE5D-163216045ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f028a8a6db3bc5ae4579b69f24eb8d66b93659f7","datavalue":{"value":{"entity-type":"item","numeric-id":31448,"id":"Q31448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914754$606A82E2-DF1A-4D62-BF4F-8E1D902327DB","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":"Q2914754$FB60BCA1-CED0-4F42-B11F-8BE4EDC746AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b695920873cd794f133af36326e941003a12d72","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32347-8_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914754$21265049-312E-4B0A-86E2-2110295A3A45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d390ddccaf24305b308307578d74d375cd6fc8dc","datavalue":{"value":"W1481699975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914754$9A7E249D-8788-4A45-8C8E-660F4C60932A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7afcc23b1ad1c14ee7703457368fcfeaf4e6609","datavalue":{"value":{"entity-type":"item","numeric-id":2938043,"id":"Q2938043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9ba9b7a76b2aa18a642c35a39f6534bdacc590f","datavalue":{"value":{"amount":"+0.80243033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914754$ECF4ED0B-E452-4A14-959D-C06D50764D6C","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":"41549f55a361c8d464e5c3b1774981eb4b3251c5","datavalue":{"value":{"amount":"+0.78755665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914754$92D83534-FF3C-44A5-8DF6-4217881770B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81bce5a2e732ce4597f77ee4cd8a8ee5be58f7a","datavalue":{"value":{"entity-type":"item","numeric-id":1595924,"id":"Q1595924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a2959b4e036ea2d9ffc9c6bcfff97080b20b9c","datavalue":{"value":{"amount":"+0.7869794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914754$D8F9C1AA-CB1C-4AED-9F05-69FEB55AE136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"005232520771134680058c7ddbb399f79fb1a12f","datavalue":{"value":{"entity-type":"item","numeric-id":4647561,"id":"Q4647561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a2959b4e036ea2d9ffc9c6bcfff97080b20b9c","datavalue":{"value":{"amount":"+0.7869794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914754$BC121B2C-4EAD-4724-B6BA-94ED5E2008FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614872894ff3feaa35db7566d946b74376376a07","datavalue":{"value":{"entity-type":"item","numeric-id":5899080,"id":"Q5899080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712e5a5259d65c2d5303581cc26d2491927cedc2","datavalue":{"value":{"amount":"+0.785605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914754$26E6A744-4B5C-41C5-9C86-11987A854021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb89accc791434a16b308b1bd728dd09f8527ef6","datavalue":{"value":{"entity-type":"item","numeric-id":442289,"id":"Q442289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e4708b28c6b1bd4c8e7630e492473b66894afd","datavalue":{"value":{"amount":"+0.78560495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914754$152CCBB8-E10E-4F6F-885B-2EA797D0C3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d0ca402c5d4295763a5fe23ae1a8f7a3f00f8c9","datavalue":{"value":{"entity-type":"item","numeric-id":5495933,"id":"Q5495933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"701d51bcd95513688b4ee7b3127b7d507943bf3f","datavalue":{"value":{"amount":"+0.7847241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914754$30AD22A7-C147-4051-BD34-9CC7316DB9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b4b779cac3f7b3f01edcf7c0ad843c1afce2bbc","datavalue":{"value":{"entity-type":"item","numeric-id":2128789,"id":"Q2128789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c590da7f9b8500f4613635e6a5f256eb069ffa44","datavalue":{"value":{"amount":"+0.7830443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914754$F6F6E754-4C30-4833-8387-E9C72850B790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b18f1bcee5a559e76e86ee84dd5601244af54f6","datavalue":{"value":{"entity-type":"item","numeric-id":909488,"id":"Q909488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f243d5c84b70391d539520d77480c64ba444a745","datavalue":{"value":{"amount":"+0.78302515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914754$5B365D52-2B59-4D28-B746-BD17A4762FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27d95eb8d46df09e1d483cb4bfe8c153b2222895","datavalue":{"value":{"entity-type":"item","numeric-id":2778886,"id":"Q2778886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28148d370fd879703e59de4f5936c71e5c2a2b7b","datavalue":{"value":{"amount":"+0.7829719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914754$888DA1CB-7329-48E6-AF20-20453D3B6B3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914754"}}}}}