{"entities":{"Q1159460":{"pageid":1170209,"ns":120,"title":"Item:Q1159460","lastrevid":80506658,"modified":"2026-05-06T16:21:27Z","type":"item","id":"Q1159460","labels":{"en":{"language":"en","value":"A complete logic for reasoning about programs via nonstandard model theory. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3746417"}},"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":"Q1159460$95CECCE6-904A-4423-B13F-ED1C9B8B1061","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ae81a72ccdf0b47ece4df6bb98cc9099c55507e","datavalue":{"value":{"text":"A complete logic for reasoning about programs via nonstandard model theory. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1159460$F06F78C3-21F2-4A4B-994E-69FC81B36BF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71fda320893957f616876948dba820e09625e725","datavalue":{"value":"0475.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159460$E7A61431-79BB-4A83-ABE6-A59F02E706BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ff0708d7b3043680759cc9f060292187dfa31db","datavalue":{"value":"10.1016/0304-3975(82)90004-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159460$8B1B1830-9B72-4423-BDB6-BFFD5F2F198D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0c110e220042f8c25f69d7566fe58fbf25b7","datavalue":{"value":{"entity-type":"item","numeric-id":514567,"id":"Q514567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$48297755-355C-4A71-8E03-A5D87871A53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"097dc9470c2945b47145802a7f80950df654abb7","datavalue":{"value":{"entity-type":"item","numeric-id":787977,"id":"Q787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$41345D5D-3C6C-4CB1-A303-12938169B3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"857c2c80c4cd84e545d0cc0f92387a21b7c9d079","datavalue":{"value":{"entity-type":"item","numeric-id":227769,"id":"Q227769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$34B9B355-2BD6-428B-B094-C6F25701D8B3","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":"Q1159460$A91EBCAF-211B-4E14-A0A0-814A7D4A370B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q1159460$652EACBD-83C2-4E9E-9A0D-4A1512B2FC7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159460$0B40F29B-92C7-4007-B79A-A11FDA257683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159460$7D15D9F0-0AC3-49F1-A4D3-199359BA3341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b04bd88a45e77f22f18ff67abebfcb580b5033cf","datavalue":{"value":"03H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159460$BE4BDE26-43CD-47E8-A0D2-203A04EACC91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b305ebd1c9f9a1f3d9c287bc2bcc91b5120dece","datavalue":{"value":"3746417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159460$0DDA7DD7-7584-480C-B94E-5C26E7030E5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159460$3E0C5A35-BE92-4493-A9CE-17CF049F7F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52317313b170cdbec43ce19265c7f7d3e1664117","datavalue":{"value":"first order dynamic language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159460$B958EEEC-53E9-474A-AEED-BFC68BEBEEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e941cd74d9f7cc27a0facd945c4bfabae921042c","datavalue":{"value":"decidable proof concept","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159460$07824433-E5E8-4FA8-BE48-204B939C5028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a7a32fbf173146ffaa7f35c065b8fe4b725b5c","datavalue":{"value":"strongly complete inference system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159460$A09A5D0C-BFB2-4DD0-A236-5CBD1A5A9974","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":"Q1159460$7A6CA06D-4ADD-424B-89CC-3EC719BA3D3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"300505ace9da0a6ed878ac927978f91b60b734ed","datavalue":{"value":"https://doi.org/10.1016/0304-3975(82)90004-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1159460$F6E2DDBC-8C1B-45E3-B9AF-D982A39D8D80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abc00f5e353e2179b7fc9b96013d70e8121e2638","datavalue":{"value":"W2063809508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159460$75A0BC4B-B8D0-4925-9A16-F42D60588103","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19265f999b20cea182763ae6835a9a83234c03e1","datavalue":{"value":{"entity-type":"item","numeric-id":3939224,"id":"Q3939224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$CE904F48-CE42-4CF7-91B7-2A66D0B8F650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05956bf43836025a1012618ff18dd51bd3c173f1","datavalue":{"value":{"entity-type":"item","numeric-id":3960112,"id":"Q3960112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$CF7FA714-B7E5-43EC-8B73-98845DD188EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df73d085f7f484eebf146358dd83e1d8e603ca67","datavalue":{"value":{"entity-type":"item","numeric-id":4198727,"id":"Q4198727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$FA1D07BB-BC4D-422B-9DB8-8F42FF701992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11203684130893cf54423f7adf4d373f04cdb7a2","datavalue":{"value":{"entity-type":"item","numeric-id":3208642,"id":"Q3208642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$488265A8-5F3C-4FE1-89F4-6B3EA8DF2DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a489883163b0629f382c633035df2e4752b66368","datavalue":{"value":{"entity-type":"item","numeric-id":3883472,"id":"Q3883472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$3251F28C-7B22-41B3-B88B-2F9226F7DDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fb34e8e68d077a3526fe5131150a2af8c3ec8f4","datavalue":{"value":{"entity-type":"item","numeric-id":3939223,"id":"Q3939223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$F4890375-1F05-467C-9DDB-31D97B0CD7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f331b826143af7e0225a5880040a336519fe894","datavalue":{"value":{"entity-type":"item","numeric-id":1252850,"id":"Q1252850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$FFBBD722-29FF-4738-A691-8552A2A98737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914aefd4f68023c58e179c13238c62231046c048","datavalue":{"value":{"entity-type":"item","numeric-id":4178463,"id":"Q4178463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$C658B801-36FD-4AFE-B1FB-72BB52A24D94","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":"Q1159460$A32A5DA0-B213-4D40-81D3-9B62168A00DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf665bf2f0b9e1dc10920d6cef545ef5dde3941","datavalue":{"value":{"entity-type":"item","numeric-id":1251892,"id":"Q1251892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$E4ACF6FD-0D89-44E6-98E2-0FE3F6C693EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c203f2409c439961b262fdb31afb295bd77ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3883474,"id":"Q3883474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$EAA50B7C-91F0-4E81-BA6E-8E6A1CB0A394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b21e90a23a5672c558c84dfaa27ce2856c251a","datavalue":{"value":{"entity-type":"item","numeric-id":1162355,"id":"Q1162355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$64B6AFF9-0258-44CE-8C81-212F1798C7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b29efafae21fc70a6a0b7f5195dee085e015ede8","datavalue":{"value":{"entity-type":"item","numeric-id":3886835,"id":"Q3886835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$E280C896-45D6-4F65-AA24-2AF951472FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$BCBACCE2-D8D7-44DA-8DD8-87C174B36A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7b60c77c0b5f89a27eaf0a201ebe8770436186","datavalue":{"value":{"entity-type":"item","numeric-id":5517672,"id":"Q5517672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$DFBD6B18-F34C-46FF-93F3-CA4D8B714B9E","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":"Q1159460$9CF1E07B-D470-418B-A9C2-4AA6120D91B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$006D1B82-BEB7-42BF-BEAA-22A58546AB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a95807cee93bd9b3ec684c69a003f40537441c31","datavalue":{"value":{"entity-type":"item","numeric-id":4173344,"id":"Q4173344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$C889BFCE-F635-4717-8C63-E37FE69B06C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a1c4a592ac8674db7efe66e4c1622fce9dc25","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$BFA81717-DA57-4463-9783-56EDC25DF3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a1fa5d6f6c733523cd9ea7f235a2f6db60ee340","datavalue":{"value":{"entity-type":"item","numeric-id":3956920,"id":"Q3956920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$C8FE2E18-594E-4CA6-81D7-FA0B7F599E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396fe5b9e8ccbc7dc1473c86accd716c3e50cd58","datavalue":{"value":{"entity-type":"item","numeric-id":3896482,"id":"Q3896482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$623B580B-A5B3-47BE-A335-A54BCF7500C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1a924e6377ac5df15e1db1826b01b3a8acd026","datavalue":{"value":{"entity-type":"item","numeric-id":1150593,"id":"Q1150593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$6ED57B16-3904-44E3-996B-27DAC85CF02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d73d57dae7b0210aca78e1e0642049a257f97bb","datavalue":{"value":{"entity-type":"item","numeric-id":3893906,"id":"Q3893906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159460$24D10AC1-8846-4791-940D-9D88C78A0A8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete logic for reasoning about programs via nonstandard model theory. I","badges":[]}}}}}