{"entities":{"Q600798":{"pageid":602574,"ns":120,"title":"Item:Q600798","lastrevid":42598636,"modified":"2025-07-04T12:20:32Z","type":"item","id":"Q600798","labels":{"en":{"language":"en","value":"Verification, induction, termination analysis. Festschrift for Christoph Walther on the occasion of his 60th birthday"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5809232"}},"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":"Q600798$5D298736-FE0E-43C0-82D3-6735ED6C21CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5c6af89fd91c9dc8ae0b049d6631e74040f2c34","datavalue":{"value":{"text":"Verification, induction, termination analysis. Festschrift for Christoph Walther on the occasion of his 60th birthday","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q600798$3395680A-9687-45EA-B873-7FB5EA63C132","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60779dff0dbca564fc08353336b320d161fc1ee3","datavalue":{"value":"1200.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600798$AFB21432-973B-4B13-A3D9-79A19B6ECE61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fe40f73dac004611d109606e83629d4f7ac921c","datavalue":{"value":"10.1007/978-3-642-17172-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600798$C37895A8-824F-4644-A376-FD430354D2BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600798$0A17D688-2C4C-44A0-A400-39E359B45C73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a678b5efea4e2ced3ebac88998f1a1a6aae2d07a","datavalue":{"value":{"time":"+2010-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q600798$6D76882A-38DF-45D9-A3C9-E3611B1A0ACF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600798$94266AB7-1D53-419F-9FA8-189DDE392A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600798$51BDDC3B-17BF-4B3A-B14A-A5121A3192AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"621c5eb61e35215bb5d90ba240e258b1da91aac9","datavalue":{"value":"00B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600798$FAB8E71A-6178-4C6F-94F4-2DE13EA4A0C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0333cfbb97d6677ad1317c1cd445343d743bc16","datavalue":{"value":"5809232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600798$6D3C73B3-8378-4D80-A0DC-D07B597AE6BF","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":"Q600798$A08713E4-4341-4C45-BD36-3B47F4D5FBF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a71d85e0c3ffda13358b55e3f2f930c055bcda67","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17172-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q600798$C2ACC03E-E627-4DEE-8B1A-68B481236784","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a87c984758e6eddf84cc73e2d9f26eada366a10","datavalue":{"value":"W200003644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600798$C4A96E35-D1D5-4D4A-ACD0-98B95000CF4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d8a612263b32834f1768f0682a043e048099d64","datavalue":{"value":{"entity-type":"item","numeric-id":1899143,"id":"Q1899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82e06268078826c1dd470f609161323242b8643f","datavalue":{"value":{"amount":"+0.86727583","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":"Q600798$06D6D38D-BE1B-4C2A-ABBE-93ACF0D94A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714e15e5a2ba4fff06e9121fed38d3236869a4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1267035,"id":"Q1267035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da1d82673a1cdf5e9833369e900e65c8dfd7dd19","datavalue":{"value":{"amount":"+0.8667541","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":"Q600798$03C29C79-4F7B-49F8-8E18-CCDADAF5FEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019f5970ed80505f70f7584058987ce68cc1abe1","datavalue":{"value":{"entity-type":"item","numeric-id":5191111,"id":"Q5191111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0fa64d47342fb0277961d4b6637941de5a3900","datavalue":{"value":{"amount":"+0.8660352","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":"Q600798$608835D4-90BF-4E86-870D-7F79635A1F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccbf5fc3944a9c4a28f412cecb088c5b82edac0","datavalue":{"value":{"entity-type":"item","numeric-id":5900667,"id":"Q5900667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3385ff393813317fb591079bf37265528a731674","datavalue":{"value":{"amount":"+0.8579538","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":"Q600798$9482C115-637C-4079-B421-77CD76E7E19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aeec1a69c7e407f53d69dbac569b646c237c4e2","datavalue":{"value":{"entity-type":"item","numeric-id":4871682,"id":"Q4871682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea529e901cca578cc723ca31d68a861c5867ca1c","datavalue":{"value":{"amount":"+0.8508388","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":"Q600798$A67AD2AF-0AEB-4B89-957F-D0F08E8B247F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74864b923291ea50043a414dd9cc0cf6874cdfc","datavalue":{"value":{"entity-type":"item","numeric-id":4640971,"id":"Q4640971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a938ada9c7fe3980477e35b1c22a1f1ad85b907a","datavalue":{"value":{"amount":"+0.8483262","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":"Q600798$295ED376-E6B4-40F0-86FA-271051B2769D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7122627a1980b9a9372dca05b8a1de2ae1f9ea55","datavalue":{"value":{"entity-type":"item","numeric-id":4255135,"id":"Q4255135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea25f2a55dd428fc44657798a67ac054b272b4ec","datavalue":{"value":{"amount":"+0.84703285","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":"Q600798$D80D88A2-97B0-478A-8733-00D9DB9678B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:600798","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:600798"}}}}}