{"entities":{"Q1712495":{"pageid":1723236,"ns":120,"title":"Item:Q1712495","lastrevid":53327075,"modified":"2026-01-24T18:06:11Z","type":"item","id":"Q1712495","labels":{"en":{"language":"en","value":"The \\(\\mathbf{M}\\)-computations induced by accessibility relations in nonstandard models \\(\\mathbf{M}\\) of Hoare logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7004783"}},"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":"Q1712495$E36D4B81-C390-4453-962E-79BC34736CEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ef17dded811871841dfbab3b684fc9a9497a9ff","datavalue":{"value":{"text":"The \\(\\mathbf{M}\\)-computations induced by accessibility relations in nonstandard models \\(\\mathbf{M}\\) of Hoare logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1712495$3186A19B-B408-42E1-AFDA-0E4763FC6D81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f44906f656e2fd68c688a7020940582548bc6d5","datavalue":{"value":"1404.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712495$031F0938-C357-4847-83BA-CBD3D78F1F4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74246861243ea76a94191f99191ef611bacbf35f","datavalue":{"value":{"entity-type":"item","numeric-id":208306,"id":"Q208306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712495$B9821E83-9928-4A5A-9D08-271998ED085A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d738ab1078f25c91968b5d8d164ce31dcaa5f0dd","datavalue":{"value":{"entity-type":"item","numeric-id":182358,"id":"Q182358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712495$48C81549-74EE-4EBA-B0D9-206E6F53CF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58a904a9049d828532a30190bcaa55f7b80ed883","datavalue":{"value":{"entity-type":"item","numeric-id":744318,"id":"Q744318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712495$DB8A0F36-FA84-465A-A75C-C2A3B984F6D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eabcb9c93ef6c7df283793669954b3abc32ee68e","datavalue":{"value":{"entity-type":"item","numeric-id":249541,"id":"Q249541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712495$C1FB9A97-F92A-47B8-A92B-62A5A8274A00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b285cd97435e35ecffc8737425d0c76ceadcbbab","datavalue":{"value":{"time":"+2019-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1712495$3ED71950-EDA2-4860-B056-259BC6C7C90B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712495$66ACBFFF-B06E-4270-A5BF-BDFBA123EF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712495$06793D1E-F8A9-43CE-A586-BD0C6B834DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712495$77068F35-67A2-4203-8EF9-85A0B76D1A24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc2041ab0dee1310142ebeb7214d5baceaf77758","datavalue":{"value":"7004783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712495$5EB67142-3C82-48DE-90C9-719ABB677FAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712495$ED197033-B07D-48E6-9767-5C3CF3FCD8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6fb185c337462873c00586864cb6ccebae19fe","datavalue":{"value":"recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712495$D581B97D-3069-4B7A-81B1-8BDA60EC0413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7956c7f6df536e6143a1c2159e2cd8230dcb1d96","datavalue":{"value":"computable function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712495$05EA44AA-5622-4C08-A839-7294B653CA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0181dadf99be276e0a742cd95952ac659f23e911","datavalue":{"value":"nonstandard model of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1712495$7ED98F6D-91E0-49D9-A079-4E24967613C8","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":"Q1712495$F685F8CF-7267-41E2-89B4-55D1A418E1F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a515b32aed8099f0add9bac5fa26f58f8191ee78","datavalue":{"value":"https://doi.org/10.1007/s11704-015-4024-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1712495$6550B01C-230F-4D2C-BF57-C08680C6C3C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fae7ae43603eb8ab7591f906e64fed80bb8a335","datavalue":{"value":"W2303516764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712495$47FE58A9-B22E-4DC0-AE21-EB5E56670AE9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712495$C5971174-A68E-45B4-A2A8-9BC69040D457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712495$C8E807A6-412D-4136-9640-BFF1AD8F570E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c23a54cf5c2c32f027cfca2700657a849c9c7aec","datavalue":{"value":{"entity-type":"item","numeric-id":800082,"id":"Q800082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712495$E2C0E2B6-7650-4459-A5F1-35CE0E3877B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c40bf792f48dba5fa959568e11244e0afca811d","datavalue":{"value":{"entity-type":"item","numeric-id":1602554,"id":"Q1602554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712495$A7714EA1-DA43-4D9F-96E2-DDACAE382D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b68d01684c688b76f9852f57744d277bca068de","datavalue":{"value":{"entity-type":"item","numeric-id":3321433,"id":"Q3321433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712495$A960001E-0811-433E-B394-495BA01ABB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a8c0319a2245226b71de02a8c469bc6287b46b","datavalue":{"value":{"entity-type":"item","numeric-id":3452266,"id":"Q3452266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712495$96EAA2DB-D430-4467-B92F-BF6F77F5939C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d89278057f829a68cd8215a1e83a3013e2243e","datavalue":{"value":{"entity-type":"item","numeric-id":5276150,"id":"Q5276150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712495$FEFCB6E7-614C-456C-A304-209BF2C1FE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712495$D40DF1BC-AE35-4D13-ADCD-C0B7FABB1C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712495$FFC447F0-5282-4A4E-960D-E2298B436FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1712495$F007DD5A-745E-44CA-ABF9-D67F67039472","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eedda9b9aa8caea88be9241790493c9b36973ec2","datavalue":{"value":"10.1007/S11704-015-4024-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1712495$1B503329-FD76-439B-8F3B-E7453246318D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564d497665b46c0c1d4a8904a118b7917bd17534","datavalue":{"value":{"entity-type":"item","numeric-id":1822934,"id":"Q1822934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"486bb39303693f9a20a7abcdbb1321e899ff0e5f","datavalue":{"value":{"amount":"+0.7760081887245178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1712495$C120B613-BCCB-481D-A46C-1F43379DA932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddc4027996ff35b334ca14e10250202b44b865b6","datavalue":{"value":{"entity-type":"item","numeric-id":896915,"id":"Q896915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04469315a5bae947d4e26bb2b9bd9e6c105fd0c","datavalue":{"value":{"amount":"+0.773977518081665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1712495$4F4CF9B0-D2A9-4BC0-9404-4F6EF7F7E5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e62ffbc79872d6d9d9e1b33ea0221ff655d767","datavalue":{"value":{"entity-type":"item","numeric-id":3696488,"id":"Q3696488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f747b6bfe8b57a7f70fe021849dd03d4ebe4129b","datavalue":{"value":{"amount":"+0.7665730714797974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1712495$717A66A4-4E68-4C1E-9242-C952ABFD3324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"421bd76aa5975c497e9bc0b3b687585bd7f66745","datavalue":{"value":{"entity-type":"item","numeric-id":2971129,"id":"Q2971129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"415b2a6a8463f2dcb4b677336c9215e02e95c539","datavalue":{"value":{"amount":"+0.7482945322990417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1712495$0D5875D1-9454-4CA0-81F9-4C0047D7B8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2201ceba745f8f4bc88d73a6cab694ed61248d5","datavalue":{"value":{"entity-type":"item","numeric-id":794426,"id":"Q794426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cfec6204907126221026534b2354db6752f7917","datavalue":{"value":{"amount":"+0.7445021867752075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1712495$F4A5217A-D9F2-465F-80FF-F7A192C1DABF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1712495","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1712495"}}}}}