{"entities":{"Q1392141":{"pageid":1402881,"ns":120,"title":"Item:Q1392141","lastrevid":70319196,"modified":"2026-04-13T13:58:02Z","type":"item","id":"Q1392141","labels":{"en":{"language":"en","value":"Program schemata vs. automata for decidability of program logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1178778"}},"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":"Q1392141$4D906452-790C-4386-BC66-1D66BEF6011C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f00e03ae1f2fc1f405dd420b67891d46be0f9abe","datavalue":{"value":{"text":"Program schemata vs. automata for decidability of program logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1392141$2ED1D6C2-3310-4B5A-82A2-160F3C5D3B1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd991b2a12c7d02b13f157b2a826e8d930e18424","datavalue":{"value":"0895.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392141$B24146DE-3E9A-44F1-B3ED-5302DEB04364","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56882ccfe27d34c354dafc970bf20a8e92587c61","datavalue":{"value":"10.1016/S0304-3975(96)00168-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392141$75AB8179-FD1F-4BDC-BCEF-4350ED851192","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29ee6d4e04c183e5bb6b0ff5941f040ab93517df","datavalue":{"value":{"entity-type":"item","numeric-id":174087,"id":"Q174087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392141$47295A81-7C34-40C1-B282-70A9346433DB","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":"Q1392141$54732EBE-9657-4FE7-A247-41E6CACD0962","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d96c2cb4969d738c6643f0931d5feea9b1bc9e9","datavalue":{"value":{"time":"+1998-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1392141$7952080C-0C14-46AD-AACD-70D3B31ECDAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392141$108C3029-D491-42E4-9356-5E33CABF73D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392141$19B6B3BB-105D-45AD-A63E-3DDC67BDF838","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a1ab640287e401340e2ab8e40122c4b7f9765f4","datavalue":{"value":"1178778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392141$21BB43E3-B431-4242-A542-D8A4298CE2F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1392141$EA1A2551-30A4-4A0A-BBEE-AC45EEEA62A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea0d299920022edce35db71b9ef58e865e2cd3d4","datavalue":{"value":"program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1392141$F5587DBA-B0ED-4279-8959-8C09F2B16A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1392141$8769B3B3-5E02-4214-A3E3-07B7AD9027B5","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":"Q1392141$A8254BB5-22A6-4848-8D9F-5896B761747A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d8d963b0d6381b4e196fb6a2430af8eb3fc907","datavalue":{"value":{"entity-type":"item","numeric-id":4501136,"id":"Q4501136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392141$86842DE7-8DF9-4301-B313-286A5F3F1963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392141$F89C7294-FB65-44EB-8764-F84BFFA1C00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd2e4db8ae14bb54e69255b03ddfbd8c1e28a91","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392141$654230B7-B582-4A0B-A7FC-4F9399726114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392141$375CBA2B-9398-46CC-8036-5F8B9A067B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3af2a5d6d90fc35dbcdf27c89fba0731ef592c","datavalue":{"value":{"entity-type":"item","numeric-id":1233308,"id":"Q1233308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392141$BC775FED-F4F8-4867-8280-2FCC3D35ACCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49bedc120937d2ca2c0da20fbb588f395782764","datavalue":{"value":{"entity-type":"item","numeric-id":3318101,"id":"Q3318101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392141$14CF0C0C-4FDF-47A3-A86B-814FD0E9D0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392141$2D06DC71-E45F-42E7-9B39-8A6BC181C0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f9598cd23ea5dac7b172228ea721780118c25fa","datavalue":{"value":{"entity-type":"item","numeric-id":3483264,"id":"Q3483264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392141$54B293D9-9D15-4263-A1BB-EEB93C73BFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392141$DE130902-F115-4E02-97E5-FCE6B6D8F7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbcad84596799c7692c8bad932b1da0a0492176","datavalue":{"value":{"entity-type":"item","numeric-id":3349961,"id":"Q3349961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392141$7B1173BB-5A73-4B1B-AD1A-F63207FA449A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392141$B68D16D0-CF8B-4C51-B04F-63EB75D5ADB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392141$FDCD38C0-2EC3-40EF-A52F-290D5A1EE566","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program schemata vs. automata for decidability of program logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_schemata_vs._automata_for_decidability_of_program_logics"}}}}}