{"entities":{"Q3916002":{"pageid":5945907,"ns":120,"title":"Item:Q3916002","lastrevid":54979264,"modified":"2026-02-02T11:54:38Z","type":"item","id":"Q3916002","labels":{"en":{"language":"en","value":"A Decision Procedure for the Correctness of a Class of Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3727600"}},"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":"Q3916002$7C453AF8-1E40-45D4-B426-53973D4E582E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2596156efddb4dca9ea87041706dcd2170e4823d","datavalue":{"value":{"text":"A Decision Procedure for the Correctness of a Class of Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3916002$C66F9A35-C9A6-4B50-888B-86511894FCC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec5c59cd88229cd47282cdc8a4b2195afebbdb1b","datavalue":{"value":"0464.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916002$33CAEEBE-40D8-4291-852A-4686093F17D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6484b6ee5306127028661d6b34f2d6808c75a92","datavalue":{"value":"10.1145/322248.322250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916002$84EF72EC-F612-4049-97DD-7365A84C2D4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33b7694fbd0350d607ec7006e9abe0c9091f8525","datavalue":{"value":{"entity-type":"item","numeric-id":1122983,"id":"Q1122983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3916002$10F732FE-ED12-4DC2-B58F-9B089C3420FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3916002$23309154-B9A1-4057-8A02-1171D387BC10","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":"Q3916002$29C102BA-B177-4C59-84CA-F0A74F835088","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916002$F33FE187-5F5D-4EB9-B13F-B24234BFCC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916002$20C0FE41-F5DA-49FD-B095-06B8D929B60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916002$4144B043-DC7C-4CB5-ACF7-9B38D3E59168","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e827fa977ddc7893fc5f1e95f9e10f6c610613a8","datavalue":{"value":"3727600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916002$FA1AA56D-12A8-4717-929F-0EAA6AC8C6A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901a7a734ccf1f9f214caca2443426df24abf4d0","datavalue":{"value":"nonresolution theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916002$76ED5E66-2298-4995-948D-22C2AE1E7458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41edffd258769b23eb243295b79ae85193e119f1","datavalue":{"value":"sorting algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916002$91BB32F1-9CF2-479E-88F6-32EEA95FFAB8","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":"Q3916002$64C0D648-918D-4045-8DFB-1254D99FB138","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a5bcc65c9b54131c558ff868c1b443b20f45a29","datavalue":{"value":"https://doi.org/10.1145/322248.322250","type":"string"},"datatype":"url"},"type":"statement","id":"Q3916002$A8DAF0CA-6DD2-4D38-93A4-78C5BF52320A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1791e7fa0d94656a53128a129513545df0e2151a","datavalue":{"value":"W2000663597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916002$40F47AE1-D94F-4001-A2E5-BE620D89A4C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3916002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3916002"}}}}}