{"entities":{"Q1843170":{"pageid":1853912,"ns":120,"title":"Item:Q1843170","lastrevid":70973154,"modified":"2026-04-13T18:37:03Z","type":"item","id":"Q1843170","labels":{"en":{"language":"en","value":"Automatic program verification. I: A logical basis and its implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3439983"}},"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":"Q1843170$3B82B784-B737-4D22-8F8D-A01EA7F6E251","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"562761a226bb57b240cd7be3e1eae658c81a7fc4","datavalue":{"value":{"text":"Automatic program verification. I: A logical basis and its implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1843170$F0111892-EFC9-44F0-B760-7E9BBDB59703","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bff8b4f325c010030a0790ccda52d641ddd7867","datavalue":{"value":"0279.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1843170$1D3DFF43-E986-4B85-AA94-7E794C282EE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9a427122fa669cef2dde050e8188a3be0be8b75","datavalue":{"value":"10.1007/BF00288746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1843170$03E82792-6E37-4E7D-AA55-D28508F67571","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eddd6fbb20a3cc65941bf9614847fed07b4cda03","datavalue":{"value":{"entity-type":"item","numeric-id":1843168,"id":"Q1843168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1843170$F6E45EA8-DE24-4123-836F-9C343D33428F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a202ea570d5d1ae1a67823294f62c2b4eed2e045","datavalue":{"value":{"entity-type":"item","numeric-id":1843169,"id":"Q1843169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1843170$A4DFA0B4-1219-4B26-8438-2B15878A21EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3af116dba622053c3e73d8f818f795033fcfc6e","datavalue":{"value":{"entity-type":"item","numeric-id":578888,"id":"Q578888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1843170$661EB74E-3759-4554-8C61-49D844934C3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1843170$DAFEBE2B-192B-49E4-8D90-D98B9F899799","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1843170$CA0751B5-425F-44B0-A60A-587F17221760","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1843170$9469D957-19AA-40D5-B429-65D7EC70B05B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3754cbc30a7333a0b5218704a3681977270d470b","datavalue":{"value":"3439983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1843170$66BEA4F0-ADF5-4E81-9D52-F5E79E9C0E89","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aadc3562b5d3cd99740f94e9d46e7f210998eaf","datavalue":{"value":{"entity-type":"item","numeric-id":33419,"id":"Q33419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1843170$7347EB2B-5C0C-421B-9F3B-3BF761514340","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":"Q1843170$1E6F5A5C-D90A-406A-A7BA-8B122659B5DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ba7db293ebaee9aa1ef89b96577a438c7ecefe","datavalue":{"value":{"entity-type":"item","numeric-id":5624685,"id":"Q5624685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1843170$633DFE4C-BC70-4477-B4E0-F5FF823663CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb6ff5311a74b34184b2722f45306b1bbefaa27","datavalue":{"value":{"entity-type":"item","numeric-id":2550288,"id":"Q2550288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1843170$8953B1F3-5FE5-4BC9-AB32-12411E583C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"968d9479de739970a215e0618fa36d536bf8fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":5661127,"id":"Q5661127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1843170$39515977-6401-4360-AC9D-249BBEF39352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1843170$8F3765AE-9138-438F-9883-3EFAEF70BF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50abac9b5648a878af003e7eaa6c6d610ba9983","datavalue":{"value":{"entity-type":"item","numeric-id":5621948,"id":"Q5621948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1843170$A83A6326-4D68-430B-A0CF-8DB78B294698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5285d79fb0a54034a765cc040755038d6ec0aeb","datavalue":{"value":{"entity-type":"item","numeric-id":2560721,"id":"Q2560721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1843170$3347187F-28EE-43F5-8ED0-FB37032D87CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2e9956e014ae28c735471b8fe8bc11ac76e0c0","datavalue":{"value":{"entity-type":"item","numeric-id":5670164,"id":"Q5670164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1843170$88E3F3DB-172F-412F-817D-0092DF63DCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1428c9a5a31636248fc81852945e32ffa3323d8","datavalue":{"value":{"entity-type":"item","numeric-id":5574395,"id":"Q5574395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1843170$AFD0B4BA-24D0-484D-803D-3D8F53636FFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18b76f4e6075527b131ad7a8e7cb200b4cf68a4f","datavalue":{"value":"https://doi.org/10.1007/bf00288746","type":"string"},"datatype":"url"},"type":"statement","id":"Q1843170$BE8AD429-935F-4775-BA56-4209D7420FF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6408718eb8111e8ef5eb49ed35bae0a0d54789f7","datavalue":{"value":"W2032889498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1843170$0FD4061D-A920-4101-B2AC-6945FB919B20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic program verification. I: A logical basis and its implementation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_program_verification._I:_A_logical_basis_and_its_implementation"}}}}}