{"entities":{"Q845247":{"pageid":847095,"ns":120,"title":"Item:Q845247","lastrevid":64775901,"modified":"2026-04-11T22:08:33Z","type":"item","id":"Q845247","labels":{"en":{"language":"en","value":"Summarization for termination: No return!"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5667000"}},"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":"Q845247$9C5A06A9-D49F-4E85-BAF4-2C159E55719F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6055dde1535e5974e2683ea4c6e0672038010593","datavalue":{"value":{"text":"Summarization for termination: No return!","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845247$3587C8C3-932C-42C1-9528-0F76F4FAD73F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"425670c67e4f4c03f955928758af3bfbb1a0789f","datavalue":{"value":"1185.68412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845247$7C4E2F58-0068-4C94-82FA-1729E7F1EFD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa51276dc7c745a3bd764db344fbb2e1cd8df8f","datavalue":{"value":{"entity-type":"item","numeric-id":470002,"id":"Q470002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$596ABE4A-8902-48EE-BB37-D392509DC983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$3088363C-F708-41EC-8C2C-2EC970474A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f09e7b1eefa8c699a9d529da40fe033eb88541","datavalue":{"value":{"entity-type":"item","numeric-id":604393,"id":"Q604393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$0BC10F0F-0512-4BF0-8D70-6263E4B432C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$CC3521B7-3286-43F9-B20F-FF087433F3CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845247$FCBC647D-570C-4250-B0CE-19E91A9F232A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845247$4273B565-441A-4919-AEF0-9A059A44FA18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddb30c450eea72d54f70feff04ee1ef77dcc7fe9","datavalue":{"value":"5667000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845247$27C31F12-84D1-4020-AD09-96ADFB4D692A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7beaf98e434b26788176daab2c2af99abbd56e9f","datavalue":{"value":"Keywords: Program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q845247$53FFE0C7-AAA2-428E-8A1A-70CD14623019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q845247$68ABD127-084A-4C3C-BE05-828C468BA666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2c35dae05a14380f13e751a9ba9ae03cc3523c3","datavalue":{"value":"Termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q845247$ECA5F76A-234F-457D-9079-7BA0D1EA9FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a8ee0259b08d93bba9f9ea91f61af8c516202ce","datavalue":{"value":"Recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q845247$E6963689-5F9B-4237-B217-AFDA5D42D031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a231bde1e4f83774baafbb98361b0fc2e95ef9b","datavalue":{"value":"Summarization","type":"string"},"datatype":"string"},"type":"statement","id":"Q845247$7FA9B577-AB3E-4B23-B014-1A14A4BB5F31","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$7DA560B6-CD53-4A19-92D1-555FC73C5094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc9e88abc913a4b4fba265878f62bb009e36efad","datavalue":{"value":{"entity-type":"item","numeric-id":17099,"id":"Q17099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$C0EE7407-E65F-4AE2-89C5-CD274C4F4D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$A7052AD1-BD5F-43F0-B5D6-2B4D257AAFD7","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":"Q845247$B6498A82-75D8-42D4-9E75-C67EDBA7052B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9a81283b2ec572093c9ab4a990287e8dd6e3b66","datavalue":{"value":"https://doi.org/10.1007/s10703-009-0087-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q845247$88CE34EE-2AE9-4BED-96F7-548647B79D50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d07a69694593cb5b91973d4e752c84c14b5bc20","datavalue":{"value":"W2149745672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845247$49CB81E4-603D-4DFE-A86E-29E2FB83C2D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$E82B7650-8C4D-42C4-B455-2A755DE69443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$512FBF38-917F-4AA9-B88D-9E6801B2DED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44fac3e593bbdc4bf38035515355792d7f6d6bba","datavalue":{"value":{"entity-type":"item","numeric-id":5348921,"id":"Q5348921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$16B4EEC5-B630-4244-84C6-3A3CEE82F2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$F8B3FF3B-940E-464F-94D8-D142A88F4454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e7b8bdc6acef9bf216ea38837cea12e448f3a2","datavalue":{"value":{"entity-type":"item","numeric-id":5711515,"id":"Q5711515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$DC0FD0DA-2DCD-49CE-B712-FD89163D563C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9edf356fbbd80fb73637a4e5873af34dc2733137","datavalue":{"value":{"entity-type":"item","numeric-id":4804915,"id":"Q4804915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$CD09AC48-189B-4C55-A992-71BFDE7CCA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeb97c476799c7ebc17474fec5ecf15127c375c","datavalue":{"value":{"entity-type":"item","numeric-id":5897430,"id":"Q5897430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$B694078F-6EC0-4EF4-8AFC-9EB1F0FECA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc18f0b46fdb1ba05a79fa616657addcb5f839f","datavalue":{"value":{"entity-type":"item","numeric-id":5178837,"id":"Q5178837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$12657DC7-9592-4CD5-A95F-88844F7029EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ebc8c6731a9ba8b7c88fd686053c929a1ba298","datavalue":{"value":{"entity-type":"item","numeric-id":4551162,"id":"Q4551162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$F55C87A5-E974-47DD-BA9C-72D33C0FC973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$4E08CA89-CC83-4D05-B824-12E9994F65BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52d0561d6adf9d7c6eabaf6de644e8ad9f5983d","datavalue":{"value":{"entity-type":"item","numeric-id":3613389,"id":"Q3613389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$C49B4087-71E8-4F3A-8847-D2D9722B2FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9005444265be022947046af02bafab842817cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3189834,"id":"Q3189834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$991C493A-5D2C-499E-B9B9-11E1C07B5E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff45cd49b3fe8b6d13faea63f13f4341dc5c606","datavalue":{"value":{"entity-type":"item","numeric-id":5466564,"id":"Q5466564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$0C208B96-2445-4A1F-8713-C9FC524D26FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30d97f46277b151ef37d50bf9b520874a1a65a2","datavalue":{"value":{"entity-type":"item","numeric-id":3189813,"id":"Q3189813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$EC1AE2D4-7DB2-4BCB-9857-07CBC8E84C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"440830e13930465acffe0122175a4a04e8328aff","datavalue":{"value":{"entity-type":"item","numeric-id":5756743,"id":"Q5756743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$97D31A85-AA39-4D48-B31F-08E1CC94B45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728714e704897dc5089dad7a6353e4ee7c8d2097","datavalue":{"value":{"entity-type":"item","numeric-id":5458333,"id":"Q5458333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$0A77CEA2-3D09-4FB3-99DC-A2AF3470809E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$4E015DBF-96DF-49E2-8B22-D5977DF5A6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a71712455a619c09bf3f52fa45ff271444532140","datavalue":{"value":{"entity-type":"item","numeric-id":5756741,"id":"Q5756741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$BD2CCE2C-88AE-4173-80C0-2F3DC5D19053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1935482434002d0fa3e71ce65d32c6e93232c71","datavalue":{"value":{"entity-type":"item","numeric-id":3000631,"id":"Q3000631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$81C7CEDD-48B0-4FE8-BD56-0C33E589961B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd9ea3d4fccc9d79e58ca7a92f557273a85a416","datavalue":{"value":{"entity-type":"item","numeric-id":5316586,"id":"Q5316586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$09A3A00F-E2E3-4824-AC8B-F289962CAD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d13a52abaf435efbe7260a3c68031d35c81e82","datavalue":{"value":{"entity-type":"item","numeric-id":3452264,"id":"Q3452264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$568635F8-5A78-4293-B3EE-AF0165671512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee0c598d6ddfbfae4ea8479557380be0e2aa296","datavalue":{"value":{"entity-type":"item","numeric-id":2568453,"id":"Q2568453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$C29A1E15-48BF-47A4-8750-DEED2E5619CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"662f6b65924e793a444fdd44690ab1feec5be531","datavalue":{"value":{"entity-type":"item","numeric-id":5458821,"id":"Q5458821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845247$C40C6549-BBCE-4C3E-8333-80C837DDD2A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfa28fecc8a6cc08ccdc0313dd95c2b30ca03398","datavalue":{"value":"10.1007/S10703-009-0087-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845247$AE18620A-A196-4A2D-840F-2FD917B3AD89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35398bb68961ca6ca6005a2a56e2e38acea57fa8","datavalue":{"value":{"entity-type":"item","numeric-id":3703288,"id":"Q3703288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a92063957a3a3f2e89c476a51e625e6c2bcaa8","datavalue":{"value":{"amount":"+0.73669136","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":"Q845247$C0AE23FA-C6D6-4AD3-BC29-9F7D29660702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21fe070148e65ecac847534419d47c22b1b0ca06","datavalue":{"value":{"entity-type":"item","numeric-id":757069,"id":"Q757069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f7ef6f5071d50d0ce06568a326cd51646d36452","datavalue":{"value":{"amount":"+0.7229957","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":"Q845247$F9DB5118-0C7F-4379-B7FA-3EC774A7DCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c756627032390bc2033d2568829791c54c9c750c","datavalue":{"value":{"entity-type":"item","numeric-id":5505588,"id":"Q5505588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f23abfa2cfa6b43d035d0d73c31495e95bbcb2dc","datavalue":{"value":{"amount":"+0.7216379","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":"Q845247$04F3A8C3-4617-44CA-9C62-B1BDE1BEC50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec448b2f17350599c68932629cc1645e059c4a8e","datavalue":{"value":{"entity-type":"item","numeric-id":5210790,"id":"Q5210790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa3ae9afd67e8ed543e5da1d5fa68b525996c7f","datavalue":{"value":{"amount":"+0.71393436","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":"Q845247$3C3CFFEA-3639-4AF2-952C-D2A046A9F6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de11de7f1033100254dd1a243bfdc23c311b7f9","datavalue":{"value":{"entity-type":"item","numeric-id":5055795,"id":"Q5055795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2165bda2c65f883f2e0b09b3e38ac46b659ea5ba","datavalue":{"value":{"amount":"+0.7022849","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":"Q845247$6B8E5A0A-CD52-4401-9C59-6C2B512772EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe11f035856bc3051304d01db9543f0d340b434","datavalue":{"value":{"entity-type":"item","numeric-id":1318730,"id":"Q1318730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc1b45767425c6daf9b7e9985b00d1d34b683517","datavalue":{"value":{"amount":"+0.698442","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":"Q845247$80359552-6537-4372-B12C-96AD823484F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b310a099ac6b90ddf41b1f53c1da03177a8a6ce","datavalue":{"value":{"entity-type":"item","numeric-id":5055798,"id":"Q5055798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de062543a29b76a7496cd7316c3a2ce223913336","datavalue":{"value":{"amount":"+0.6943351","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":"Q845247$FA707529-6271-4E9F-B4EC-89AF6B9EFA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bd5eaf51e05b1c90484d83647abfcc2a7d12235","datavalue":{"value":{"entity-type":"item","numeric-id":1343111,"id":"Q1343111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de062543a29b76a7496cd7316c3a2ce223913336","datavalue":{"value":{"amount":"+0.6943351","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":"Q845247$873E1013-6D3C-4B9F-B3B1-D8B7832DA167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db51081dffa03fb67f23008d5f873145ae551581","datavalue":{"value":{"entity-type":"item","numeric-id":4930735,"id":"Q4930735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1c2ea0c7546b79c7b27f2dab23f1d71445d5d9","datavalue":{"value":{"amount":"+0.68918073","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":"Q845247$F6DC45A2-4B1E-4F18-BA2B-07671CDF46D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Summarization for termination: No return!","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Summarization_for_termination:_No_return!"}}}}}