{"entities":{"Q1162355":{"pageid":1173104,"ns":120,"title":"Item:Q1162355","lastrevid":69766335,"modified":"2026-04-13T09:14:36Z","type":"item","id":"Q1162355","labels":{"en":{"language":"en","value":"Programs and program verifications in a general setting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3755839"}},"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":"Q1162355$9A89CB03-9E5F-407F-B097-79E2D8388F24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"313cd9ad6afc6f723117ee2b2340f0118304a05e","datavalue":{"value":{"text":"Programs and program verifications in a general setting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1162355$EE03A951-05F3-4C09-AE7C-38188BA3A378","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0172e8dae8d7a8f612762f2f24031f72404c889d","datavalue":{"value":"0481.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162355$2D3B5D2D-9D35-4F9E-8BB7-AF4E709E75AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"271ceeb2909837ba85496d927b619168bcab519b","datavalue":{"value":"10.1016/0304-3975(81)90076-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162355$98C8FF57-9F77-44A4-8F35-ED7C0801C90A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162355$77E75F50-075A-4A72-82E6-695C1D495261","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1162355$EBB0B8F3-A706-4D5C-889F-8DEA1BEAA5B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162355$A4F6C944-F716-4AE3-8002-CC2E38BEAF98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60dd13fc70fec2bfe5c3fc852bb7dbefffb20d40","datavalue":{"value":"3755839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162355$EF4D4A78-C5E9-4854-B997-455963A8D8CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fd6f6c8e631363e37cd6125f51b9c29bdda0a76","datavalue":{"value":"Peano models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1162355$41ECD145-98A7-4678-8BB5-6A397E4A2A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d215c6402489cff4d0650d7ada357a753bf1cdd","datavalue":{"value":"completeness of the Floyd-Hoare derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1162355$5FA6BDE0-C1EA-47DD-A1D9-7D592659DBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1693d4abc281eb628f99eaeb2516ef486ab74cf2","datavalue":{"value":"halting configurations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1162355$C5FAA1E1-D624-414B-805A-DD865E229ED6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee4e70b5a3726ad737c6aa92da85e135ebf1b133","datavalue":{"value":{"entity-type":"item","numeric-id":247008,"id":"Q247008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162355$7503FF8E-0E3A-47D9-BC93-8F2CEB3F3E96","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":"Q1162355$0136E935-A2E2-46D0-8869-AA59F7223733","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f089abd189dfee663240cc2068c92e645f3494df","datavalue":{"value":"https://doi.org/10.1016/0304-3975(81)90076-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1162355$0D70676B-2C68-4986-BB52-F9C2FCE35295","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"884bac80d6ecb03bbc86eee39d5b2ae0b925d240","datavalue":{"value":"W2006220572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162355$C70F96B0-2236-4275-A245-5463F8F3C118","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95424454d8bc3f84a57ba0475f1936732a8371ae","datavalue":{"value":{"entity-type":"item","numeric-id":4193440,"id":"Q4193440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162355$C02F1C1C-1490-427F-8773-FA6D2AC495A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162355$E74E9490-F1B7-4852-8FC6-61AF6073CEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162355$40DACCC8-31EC-4EC3-9430-7B19476C48CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf721c7d99fe9e6d39792d1d6dbe1514d2f59c8","datavalue":{"value":{"entity-type":"item","numeric-id":3858240,"id":"Q3858240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162355$7F495CA9-091B-4AF1-81B1-1791A95D344E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162355$023A6BC4-7C8A-4146-8617-4639290EB17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162355$FA207329-3EB6-41AB-B85C-05BF2FB8E7BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Programs and program verifications in a general setting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Programs_and_program_verifications_in_a_general_setting"}}}}}