{"entities":{"Q1105352":{"pageid":1116101,"ns":120,"title":"Item:Q1105352","lastrevid":49184119,"modified":"2026-01-06T17:39:13Z","type":"item","id":"Q1105352","labels":{"en":{"language":"en","value":"Inductive assertion method for logic pograms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4058827"}},"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":"Q1105352$C92B4E02-2CBB-4BCD-A105-B15252D8447C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"204d16b2b00e719bf57670d785419fdd013126df","datavalue":{"value":{"text":"Inductive assertion method for logic pograms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1105352$04C7C5FE-1568-46AE-A28F-2C3FC9F0DB9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1512ca0c0bafa0f6830d58f1c4566bb614cd0b5","datavalue":{"value":"0648.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105352$36AD111A-A94D-42F0-BEB1-F07DF82751D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90a07feb4836bc62545de260bfa67e7ef393f2ec","datavalue":{"value":"10.1016/0304-3975(88)90099-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105352$FAD61D83-916C-47DE-8E4C-E23A504D078C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aca37643c25c4f7a18b2bf47f8e6a1980c00131e","datavalue":{"value":{"entity-type":"item","numeric-id":511026,"id":"Q511026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105352$99F0C3A5-234A-4480-8C5C-04B68F195B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7bd7e616697d922bbc0f3b3bfce444d3bbf7194","datavalue":{"value":{"entity-type":"item","numeric-id":789183,"id":"Q789183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105352$A9E22117-77A0-4E43-9056-535816F0808F","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":"Q1105352$CA146ADC-8CAE-4B90-BAD2-9F3D3C226B5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1105352$722F849B-C271-41B5-AF16-6C8DE8A5E56B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5754825105156cf246b8ddecf5526ac3df6ece63","datavalue":{"value":"Certain properties of logic programs are inexpressible in terms of their declarative semantics. One example of such properties would be the actual form of procedure calls and successes which occur during computations of a program. They are often used by programmers in their informal reasoning. In this paper, the inductive assertion method for proving partial correctness of logic programs is introduced and proved sound. The method makes it possible to formulate and prove properties which are inexpressible in terms of the declarative semantics. An execution mechanism using the Prolog computation rule and arbitrary search strategy (e.g., OR-parallelism or Prolog backtracking) is assumed. The method may also be used to specify the semantics of some extra-logical built-in procedures for which the declarative semantics is not applicable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105352$2CCA831B-84BE-41AA-8B8E-7A93C2858B4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105352$D21BB4C5-3642-4819-88BB-F93D537EB430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105352$0EC7F47D-EF59-4ED6-B23B-45BB8835E0E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2cc8a8b08ce0ca711b85c9743f17f32d12ab50c","datavalue":{"value":"4058827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105352$24376A24-0FEF-430F-8787-E381D9FCB47C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105352$00262989-4033-4518-A30C-BD9DD40F80C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02d2bf731950b187168c61fbc7c56826b15327e0","datavalue":{"value":"inductive assertion method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105352$F55C0BD9-20C4-4FF5-93FE-17E2EF77A3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105352$687AD371-6932-44F9-AB09-28229F8151AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105352$A5FCE130-DD10-476E-9087-0D6226BFEE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105352$A4992FDD-2E70-44F8-A1A2-F6DCF512E664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8f18c70bbcc79aef9713205bc7de69730c491b5","datavalue":{"value":"OR-parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105352$A43DCEB8-2FBB-4EC3-BC42-81F4596C04E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fe75ecdeef7e0425c4bb1338f9134c5adf0be","datavalue":{"value":"backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105352$F0839881-E2B7-43BA-9BE3-198B40CB7DAE","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":"Q1105352$5EB82ECC-4D21-4019-B533-267DA04E8EB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9040a3166d4237342e09c8718f68c8fb92ec727","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90099-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1105352$5D6E46EB-E95C-4C98-BC9E-092F31D1361B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c67b76f3a6113cf456632911ec3e6b46c162620","datavalue":{"value":"W2118483018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105352$0DA01199-A8E5-46B5-9B6F-01D11C035220","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105352$8C940BF6-6D75-46A8-A484-D33189582A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e3500c8ec4b09021b315d1be8ac209942586fe","datavalue":{"value":{"entity-type":"item","numeric-id":2640347,"id":"Q2640347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105352$7DE40927-DE2E-4AF8-A534-D3FFCCFB5672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"094f75834ec2698d4c23148de89082e769731a2f","datavalue":{"value":{"entity-type":"item","numeric-id":3711779,"id":"Q3711779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105352$25A7F8AE-0493-4CE1-9D8E-70EC1DCA466B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de79b5478bdf2cfe14adb3fd486d066a8935dde","datavalue":{"value":{"entity-type":"item","numeric-id":3776674,"id":"Q3776674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105352$C07DBDC5-9947-4B4B-88D7-DA957EBC1D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105352$301E272B-E70A-4264-8EEA-862CDD94D746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf0e2e6509392464c0e3bef27385ef4d4baa21d7","datavalue":{"value":{"entity-type":"item","numeric-id":3698285,"id":"Q3698285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105352$92620B86-3423-4A88-AC37-4EBD396ECB9D","rank":"normal"},{"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":"Q1105352$F99DC5C1-7881-4E55-A3D4-411C99243D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4aacb26a2f6eb48ad6441a165669579076c7401","datavalue":{"value":{"entity-type":"item","numeric-id":3916005,"id":"Q3916005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105352$D0DF082F-A93C-4541-A6F8-C8B962BE5D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105352$127A8149-9FE0-4D86-AA96-C3C454310D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc7c80135ed65b38d7fef7c0e832d27cd87588f","datavalue":{"value":{"entity-type":"item","numeric-id":3995530,"id":"Q3995530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105352$C571809A-88A4-489D-85C9-3FF4C0EAE22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdef283b200aa3269d09e08c4de781b834b117f6","datavalue":{"value":{"entity-type":"item","numeric-id":3694653,"id":"Q3694653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105352$EE9168B9-6855-4301-BFBC-33B0DD504B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e871cabc32981283d7a7e66f9dd107caef41a292","datavalue":{"value":{"entity-type":"item","numeric-id":2265800,"id":"Q2265800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105352$A8207F95-2A37-4070-9CD9-0C0F8C905783","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe662ea68824dff5e1011237fe1a6fc32ebc19eb","datavalue":{"value":{"entity-type":"item","numeric-id":3776674,"id":"Q3776674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"219059ef6531e90e1e1a70cf50ebd8701be5c2d9","datavalue":{"value":{"amount":"+0.9094064235687256","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":"Q1105352$27F9C868-D766-4224-9794-7D46721687CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea95e49f05526edb7368d843c6ed27a9c17b632","datavalue":{"value":{"entity-type":"item","numeric-id":4923522,"id":"Q4923522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed34018d8f2e24cd8cc85bac64278840c491a26f","datavalue":{"value":{"amount":"+0.8622730374336243","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":"Q1105352$447DF630-EC16-489A-B46A-18A55969B9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb935c4e813b5a39add7d74a332bab4384bf192","datavalue":{"value":{"entity-type":"item","numeric-id":685395,"id":"Q685395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8fe9e288d220f54f1b2cd51e727f944851bce4","datavalue":{"value":{"amount":"+0.8540268540382385","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":"Q1105352$05D545E3-EF82-4D2D-A765-98C9CA9FF49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7eefeaa99376282417663dec7df958cf284870","datavalue":{"value":{"entity-type":"item","numeric-id":4736519,"id":"Q4736519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8fe9e288d220f54f1b2cd51e727f944851bce4","datavalue":{"value":{"amount":"+0.8540268540382385","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":"Q1105352$88CB576F-9609-4A81-8FCF-11E0E90A4A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8266f2c8ef040bdae8a8d17dbab7410a4f0f3244","datavalue":{"value":{"entity-type":"item","numeric-id":4923368,"id":"Q4923368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e8079646266bc224133fea5544a1f5dddf2a12","datavalue":{"value":{"amount":"+0.8423182964324951","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":"Q1105352$5E574B98-8483-46A5-92F3-CDC19143CF20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1105352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1105352"}}}}}