{"entities":{"Q1854497":{"pageid":1865239,"ns":120,"title":"Item:Q1854497","lastrevid":73666668,"modified":"2026-04-14T16:50:46Z","type":"item","id":"Q1854497","labels":{"en":{"language":"en","value":"Erratum: ``Verification by augmented finitary abstraction''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853232"}},"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":"Q1854497$E12FC5AA-3D4E-4751-BD7A-76992C7F97CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41a987475720206f051e78963c6ded3df1a9ffe3","datavalue":{"value":{"text":"Erratum: ``Verification by augmented finitary abstraction''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854497$7431B4B9-4D99-4056-ACA9-132352B37698","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c31f31805993f6281af002eb8a527374c94e2d09","datavalue":{"value":"1009.68515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854497$D932A6E8-3200-43BB-B625-32EFB05C2B32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d58e92b31e5d9f8ae1cbef286108e4f693713983","datavalue":{"value":{"entity-type":"item","numeric-id":1854496,"id":"Q1854496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854497$A5869536-AB09-4A14-9F5F-057C9E25172E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854497$CE684526-94F6-48E8-86BF-FA1CE1B6D99D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854497$5514611C-4337-4DDA-B6FA-DB0A210143B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-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":"Q1854497$99D60ECC-ADED-4504-B294-960B90B9143E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"db24255a0f9660e2b279ee6eadf51ad72f659fdd","datavalue":{"value":"Erratum to the authors' paper that appeared ibid. 163, No. 1, 203-243 (2000; Zbl 1003.68069).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854497$B11C1A36-D522-4421-A513-3D378B309D3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854497$5037ABB5-909F-4453-A82B-986971B4C283","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"867354007c0cca8270e6c1f8ff3153b13a1c3a09","datavalue":{"value":"1853232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854497$C64655D1-7D17-44D5-B4B0-23D8F95AF303","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":"Q1854497$3D700DFD-FAB8-46F3-89D1-04CF4E87429E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9001c4aa8a199ac05c11bb6a886089b3667d2d4b","datavalue":{"value":"https://doi.org/10.1006/inco.2001.3111","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854497$84DE44A9-1E03-4721-9B1C-311DC60679F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3074e93fa6f188971d3ec1ad8e2f1f5f8d2c6af","datavalue":{"value":"W4210654160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854497$E9563416-9105-4A4F-BF21-C80051BC03AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8edcbdd95ab3e265a524c3c7812c791dbf8890a","datavalue":{"value":"10.1006/INCO.2001.3111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854497$CE48CD54-CFAB-4548-8DCB-7606EC8DF221","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Erratum: ``Verification by augmented finitary abstraction''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Erratum:_%60%60Verification_by_augmented_finitary_abstraction%27%27"}}}}}