{"entities":{"Q1159461":{"pageid":1170210,"ns":120,"title":"Item:Q1159461","lastrevid":42920734,"modified":"2025-07-16T01:16:30Z","type":"item","id":"Q1159461","labels":{"en":{"language":"en","value":"A complete logic for reasoning about programs via nonstandard model theory. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3746418"}},"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":"Q1159461$E44BB439-94DD-476C-8909-ADCA263EBEEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d101987a452e323997a589bb7100bab0e8da2f6","datavalue":{"value":{"text":"A complete logic for reasoning about programs via nonstandard model theory. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1159461$F1B8004C-C397-4709-9CB6-1DFFCEC96F91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe48f6f54ae824fa5d95a7b0cebb30d414787371","datavalue":{"value":"0475.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159461$B89672D2-226E-4792-BE38-D5CD78563954","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82795716cdddfe66e50ada66ddd3bf92e293f041","datavalue":{"value":"10.1016/0304-3975(82)90025-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159461$F67B2847-8964-4B4E-B237-FF38113ED4DE","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":"Q1159461$20CCE45F-0B54-47C3-BD48-911B3A3C22EE","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":"Q1159461$72571CDD-F892-43E0-B100-0C2B8D9BDF2E","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":"Q1159461$7B094DB8-A662-4333-A7E4-B3CAF424D79C","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":"Q1159461$8C9338EF-622D-49D9-BFE3-6DFE49739680","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":"Q1159461$55B39AE9-B128-44CA-B943-D67184E41DA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159461$1539C46B-F0DC-4C4C-991E-C0D7BA360715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159461$89119059-5CED-4172-B745-5DAB9F3A48BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b04bd88a45e77f22f18ff67abebfcb580b5033cf","datavalue":{"value":"03H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159461$079252F9-9E96-4246-B930-E6EB1CFBCCE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"726f588f7a9ab450587a68fe51cf92e98d0881db","datavalue":{"value":"3746418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159461$2A961151-260E-4BB4-AEC7-F7E34BA6ECC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159461$E7585820-2EC6-4636-8913-51D80C23AA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bfda5a8eb494efa5d30194f7f00fc141b4d0244","datavalue":{"value":"Floyd's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159461$24C54356-5F15-47E8-8DAB-DDA70E1CC833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159461$A1DACFC5-F019-405F-AA71-0514EDF64163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159461$E8D76A7E-B020-4B0A-83CB-513D0E9A13C1","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":"Q1159461$F99C497E-D906-466A-9423-D6E05E8DA5FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be60b6b0624b938b80aec542026a59e8549d960f","datavalue":{"value":"https://doi.org/10.1016/0304-3975(82)90025-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1159461$ACD28514-B4E0-4F04-AB6E-7A0EE3D72DD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c9d44a371c5cb3a82c33856094946f688f84015","datavalue":{"value":"W4256371891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159461$84DFAC22-4192-4DA3-89D4-1B85A2A6A12C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4728d0755e132d9103b12f8c9f932cd36136dd","datavalue":{"value":{"entity-type":"item","numeric-id":4106191,"id":"Q4106191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159461$F89B53B3-D8EB-4BD9-9844-45C21BED9A9F","rank":"normal"},{"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":"Q1159461$AAE21B26-69E4-46FB-BF17-1B522B581C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95424454d8bc3f84a57ba0475f1936732a8371ae","datavalue":{"value":{"entity-type":"item","numeric-id":4193440,"id":"Q4193440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159461$73F32202-C33F-4695-9BE6-73C730E195F9","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":"Q1159461$ABBA3D49-006F-40CB-BF72-5ED0D37E8008","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":"Q1159461$20D706BA-CCF8-4A41-BE6F-6A2416A1655C","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":"Q1159461$BD666F8B-D451-47D7-B029-0781D13F012B","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":"Q1159461$511DBC33-73B2-430D-B482-0C84F940C108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf721c7d99fe9e6d39792d1d6dbe1514d2f59c8","datavalue":{"value":{"entity-type":"item","numeric-id":3858240,"id":"Q3858240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159461$CC87C23D-AADF-4DD8-8297-816C0CF8EC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b321d4839099a1e1e5f4e8f95f3f401b587fdf4","datavalue":{"value":{"entity-type":"item","numeric-id":3919064,"id":"Q3919064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159461$73E7F6EA-D7A5-4E9E-954B-6BD61D8AAE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7635911b6f21703916d79c1313bf7f0f9f67caf8","datavalue":{"value":{"entity-type":"item","numeric-id":3911362,"id":"Q3911362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159461$AE315EFD-D96D-45E8-BBC4-FACAA4493855","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":"Q1159461$62ED5562-FBEE-4FCF-9869-950359F0316C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50737c99fddc7679a13eecbd9165c08252c45b61","datavalue":{"value":{"entity-type":"item","numeric-id":4190132,"id":"Q4190132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159461$1AE6B5C3-5CEE-43EE-BF89-432A9A6F06DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b440969f9c9c69e9c0e4d402bb9cba7c71a151fd","datavalue":{"value":{"entity-type":"item","numeric-id":4138097,"id":"Q4138097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159461$9AC220D7-F3D2-44A8-B8BB-C96B6EE5E491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068c2180566322e7e6ae6561991d844472fe844c","datavalue":{"value":{"entity-type":"item","numeric-id":4063120,"id":"Q4063120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159461$99BF80DA-BC77-4575-BFF2-29CEAA877FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b583d04b30eca00326c856b534b40034f91115e1","datavalue":{"value":{"entity-type":"item","numeric-id":4182477,"id":"Q4182477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159461$A7C1D01A-6EBB-461C-B4F1-E2751C55C105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5297557e25b047e5ffabcab8875d2d212b053cd3","datavalue":{"value":{"entity-type":"item","numeric-id":1161272,"id":"Q1161272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159461$F051290B-D28B-4CBC-8D49-E0CDAD35C728","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":"Q1159461$320CE175-22A9-4945-B85F-FF7501D1A762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678f6c25497d4da339fb86fb797a401000099017","datavalue":{"value":{"entity-type":"item","numeric-id":4095834,"id":"Q4095834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159461$E3E5A342-A809-49DF-893A-5652C3EFD2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381491cff3b69e06c0c0e98db657501f3cc96724","datavalue":{"value":{"entity-type":"item","numeric-id":4133080,"id":"Q4133080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159461$D99A563D-2854-430A-B296-869265AEE053","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":"Q1159461$D4C7C9B7-763E-4D32-9115-3A53DD1BDFFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1159461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1159461"}}}}}