{"entities":{"Q4519871":{"pageid":6549464,"ns":120,"title":"Item:Q4519871","lastrevid":108667832,"modified":"2026-11-09T17:40:17Z","type":"item","id":"Q4519871","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1540615"}},"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":"Q4519871$26231779-F4D5-45AB-81D2-9CF8A0316BAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c084d54e95a1ea303153335b3757c56d235a690","datavalue":{"value":"0956.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4519871$6ED7517A-9A40-40E4-B42C-C3F53C0CA4B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"752e2a38414f8ebd15d2ee5db9e21225bad6b8b5","datavalue":{"value":{"time":"+2000-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4519871$874DA3B4-7A41-44E1-ABAC-5E71153EC61B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4519871$DE52F161-8002-4B19-9094-3F56C338BE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4519871$932AB979-8DEB-4A69-BE7E-874A40F7E930","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d785adf0cd5ba06b25f517f89dfe04bf9332c02","datavalue":{"value":"1540615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4519871$C3DE72E6-E2B0-4105-8736-43A2073F7438","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9293e9084e17030d279f79506dfffe03939cf586","datavalue":{"value":"term rewriting rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4519871$EDDFC5FD-F256-4F82-B32E-EBEBB1EE9C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e4d3df6a542a817f8cbe4c0470d8f52b457c82","datavalue":{"value":"decision process","type":"string"},"datatype":"string"},"type":"statement","id":"Q4519871$32419089-0879-40CC-B741-F8CB1F614110","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":"Q4519871$12F76429-6741-4E2B-A708-2ED1885934DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173ea42de9c3d1d7a700bda05f56631e4abbf156","datavalue":{"value":{"entity-type":"item","numeric-id":4873987,"id":"Q4873987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7270c30a453076dec94bcf293576c151bf4634c0","datavalue":{"value":{"amount":"+0.7273873686790466","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":"Q4519871$865B7A69-0A86-4B6E-B468-F4E10DBC4C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729bbc3558f21fc5a7f12610da9b2ceb4ebaba91","datavalue":{"value":{"entity-type":"item","numeric-id":5030196,"id":"Q5030196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"941bfd81091e37e4347ba8ecb2ae6326314390a5","datavalue":{"value":{"amount":"+0.7060819268226624","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":"Q4519871$E202BD09-6488-4661-8403-1F34BD0801FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b38d041c7dfb50baa22a1aa118ce0d93932c5e","datavalue":{"value":{"entity-type":"item","numeric-id":3725520,"id":"Q3725520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efe324b7b72b7d40a3d9de54b97b0d4439ad3bb","datavalue":{"value":{"amount":"+0.7009257674217224","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":"Q4519871$DEAE2DC3-A7A7-40F1-AF8D-4BD232A977A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42021b997c68bc862f1509efa3b66de45dd7291f","datavalue":{"value":{"entity-type":"item","numeric-id":1373300,"id":"Q1373300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b603b4935b0fff9c11071505a71f3b23399dfae","datavalue":{"value":{"amount":"+0.6978269219398499","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":"Q4519871$FA1F2071-7192-495F-897C-6BA850037D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28130594f5693826e9dcf9b4195d7ff11f26a8f8","datavalue":{"value":{"entity-type":"item","numeric-id":2789055,"id":"Q2789055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"487d76db3c263efb35782d94898ad966c3a0e597","datavalue":{"value":{"amount":"+0.6972481608390808","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":"Q4519871$03F9B2A9-3442-41BD-96FD-07BEC7C482F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c6d42b783fd5881263e5bee62c5595638d8d6580","datavalue":{"value":"Einf\u00fchrung: Diese Arbeit entstand im Rahmen eines Forschungsprojektes innerhalb der ``Zentralabteilung Technik'' der Siemens AG. Im Rahmen des Werkzeugs zur statischen Analyse von Prologprogrammen PAN, das die \u00dcberpr\u00fcfung der korrekten Typisierung bez\u00fcglich eines eigens entwickelten Typsystems mit Inklusions- und parametrischem Polymorphismus, den Nachweis der Terminierung, sowie die Analyse gewisser Konsistenz- und Vollst\u00e4ndigkeitseigenschaften von Prologprogrammen erlaubte, sollte eine Methode zur Verifikation einfacher Programmeigenschaften gefunden werden, die eine gute Hilfestellung bei der Aufdeckung von Fehlern erm\u00f6glichte. Die Arbeit stellt ein Semientscheidungsverfahren f\u00fcr die G\u00fcltigkeit einfacher Programmeigenschaften dar. Das Verfahren terminiert immer bei Eingabe falscher Aussagen und liefert dann ein Gegenbeispiel. Das Verfahren beruht auf impliziten Induktionsmethoden. Durch die Unterst\u00fctzung eines entsprechenden Typsystems l\u00e4sst sich das Verfahren zur Verifikation von Programmeigenschaften im Rahmen von PAN nutzen. Da die Verwendung der Ergebnisse der im Rahmen von PAN gemachten Terminierungsanalyse an die Stelle der \u00fcblichen Termordnungen tritt, ist das Verfahren einfacher und vielseitiger anwendbar als bisher bekannte Verfahren.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4519871$8BC16FE7-8FA0-4E0C-B7ED-C7AC5CCDC9F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17e5397491263311faa257c228f6ff7f749e6c63","datavalue":{"value":{"entity-type":"item","numeric-id":7417616,"id":"Q7417616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4519871$E1ECC5FE-979B-4452-A007-5E2FA669DF58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4519871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4519871"}}}}}