{"entities":{"Q3893268":{"pageid":5923173,"ns":120,"title":"Item:Q3893268","lastrevid":88885724,"modified":"2026-06-04T15:44:30Z","type":"item","id":"Q3893268","labels":{"en":{"language":"en","value":"Consequence Verification of Flowcharts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3700171"}},"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":"Q3893268$B563CE4C-29F8-4377-A1AA-76F9CAAF24F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d35867405c1d7244ae1c7052a10ce1b39b9808dc","datavalue":{"value":{"text":"Consequence Verification of Flowcharts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3893268$A72A5466-E9B5-47A0-BF08-662FF8DFD8FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99c18672abc106fe74e4a540cbceee7328f256b3","datavalue":{"value":"0447.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3893268$5F278064-C8A1-4535-93FF-B5CA55B8473D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6919d1ef4f8db2c6b8bace689436ac5767ddb23","datavalue":{"value":"10.1109/TSE.1981.234508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3893268$BE0CA8EE-5377-48F2-9119-2B870C43F6CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f3c7c06c372f48eef7de3859990938014aa81fa","datavalue":{"value":{"entity-type":"item","numeric-id":596468,"id":"Q596468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3893268$149DD286-27E3-480F-AFB0-9CB1A0386D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"181a8a4cdff0d7ae825ae7dd77700a8b4f94c5eb","datavalue":{"value":{"entity-type":"item","numeric-id":1424802,"id":"Q1424802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3893268$B3162280-503B-43BB-AC06-3B9AEC035DEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"220b294d2d3a2e498b04ba0341eb4d18d93bc02f","datavalue":{"value":{"entity-type":"item","numeric-id":150608,"id":"Q150608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3893268$3F84FC1B-B8D7-43C0-A717-87DE7F197207","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":"Q3893268$D80FECFD-4B89-4DFE-B869-4B80CF93D916","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3893268$C009BF39-7239-4F25-B662-058B2EA5F2D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"410396f502f8bba7950a8c7ab4377f1ac00e1fcc","datavalue":{"value":"3700171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3893268$CECDB68A-62CA-4EEB-8605-BF3C392752A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8716d6197a9642b071041ee48858adff185b19a","datavalue":{"value":"flowcharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3893268$E365F8DD-B7C6-4F3F-865A-7B26158697A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45a33eccba098425144205d7fea6a1783e5e6763","datavalue":{"value":"consequence verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3893268$25104F99-1D0D-4227-B143-57B3B8897197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"120651316a0505db449221e2a59731e8297a7415","datavalue":{"value":"inductive assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3893268$7CE64079-EA13-4238-B588-7BEFB673849E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3893268$5F08C083-9E2C-41C3-9358-3412FCA6DA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3893268$9F22E994-E991-49EE-8DB0-C0AB932E2103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76332a2a3b5789f58d745a98d6b91a843a2c7a7f","datavalue":{"value":"subgoal induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3893268$3E34EC5E-0CDB-4BE2-AC0D-99B1ED82273B","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":"Q3893268$F8599012-4048-4E0F-ADFB-AE636BB80DBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consequence Verification of Flowcharts","badges":[]}}}}}