{"entities":{"Q1242445":{"pageid":1253195,"ns":120,"title":"Item:Q1242445","lastrevid":69972654,"modified":"2026-04-13T11:35:03Z","type":"item","id":"Q1242445","labels":{"en":{"language":"en","value":"A proof method for cyclic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3573227"}},"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":"Q1242445$52EFF390-D517-407F-B32D-A271C2EC8870","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55ee11e4a28fd225aa77d8822c07ba643c28e60f","datavalue":{"value":{"text":"A proof method for cyclic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1242445$A51B370E-E6DB-48C8-8441-F2667B6A5E7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"498eda0d6671f588ea53725bbf4d319e58680bbb","datavalue":{"value":"0367.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242445$3765D2DE-8CD1-49B9-B862-423925D3F036","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adbe9479d3f31ea26bc0a44f0728186163a1e46b","datavalue":{"value":"10.1007/BF00289074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242445$DFD50CBD-7ADD-470A-BC58-5208CD665DEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a3deb8c3bb69905bbf6e6a826dde89e56c83a","datavalue":{"value":{"entity-type":"item","numeric-id":174819,"id":"Q174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242445$0C7D23DD-0DF5-472E-B839-648AA4E91B38","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":"Q1242445$FF8B245B-9B5D-4575-B08C-BCE15DD26D63","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":"Q1242445$3DF96128-6F95-465A-9853-4DE9EC676A26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q1242445$46AC1F1A-1F39-4AF5-8FD5-301A673D9749","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242445$4DE91805-C995-40E7-9A56-0A93F123BFC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f6c11ba2bbe0b0a3031eb34cc780a53fc3ad3f3","datavalue":{"value":"3573227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242445$E9DAE67C-40EF-4186-9F38-DA0D0E3C9465","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":"Q1242445$7411AB20-A1E0-44F2-96C4-99983161F072","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d346d8485da0bc889f787fa277d331b616d4df2","datavalue":{"value":{"entity-type":"item","numeric-id":4054648,"id":"Q4054648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242445$1BD815A0-7A8F-4D54-B5BF-0312319F832B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242445$F31D943A-1360-4610-A4CC-D1316643948D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a121f1d7a39ddbb00a7eb8646799240f932da07","datavalue":{"value":{"entity-type":"item","numeric-id":5643587,"id":"Q5643587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242445$8CA16D14-6971-4871-9A3B-1B7CE2D97556","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":"Q1242445$2E087A25-B42B-40B5-8176-F0931F6227F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e5de071acf74d41c88984aebb1ab91a8eefe805","datavalue":{"value":{"entity-type":"item","numeric-id":1216173,"id":"Q1216173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242445$AE9A9414-5A9D-4691-877A-2B0D446B676F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75045ec1498830e26a853c33aee75edbcafa6cd8","datavalue":{"value":"https://doi.org/10.1007/bf00289074","type":"string"},"datatype":"url"},"type":"statement","id":"Q1242445$B25DC4EC-9FEC-43B4-8561-91272A9477CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e167e9ea09eba330c3c7738e12dd5f0fed617a2a","datavalue":{"value":"W2067882404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242445$5CC892FE-E19F-4F99-BA45-1455A9C8BCDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof method for cyclic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_method_for_cyclic_programs"}}}}}