{"entities":{"Q4015950":{"pageid":6045739,"ns":120,"title":"Item:Q4015950","lastrevid":55190017,"modified":"2026-02-04T15:02:10Z","type":"item","id":"Q4015950","labels":{"en":{"language":"en","value":"Proving termination properties of prolog programs: A semantic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 70119"}},"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":"Q4015950$85A5E4A3-8251-4C03-969B-921F9D469D7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a14ddbc1fecefe615eb775492b8b7b3dff89fa19","datavalue":{"value":{"text":"Proving termination properties of prolog programs: A semantic approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4015950$FEB1EDA1-8A7D-4476-B2F8-A76091862348","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed39b4633e2378df194c1ed195a999a7d5871d36","datavalue":{"value":"0754.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015950$999F708A-37A3-4DEB-B2C8-4422EE0C0C6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54a99302a47679a68816a4ed8d1868a2077ad411","datavalue":{"value":"10.1016/0743-1066(92)90045-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015950$2EFD749B-A544-43B1-A2C0-BC63253ED7C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8168b23bdfda9af194e3f59c07bd5c3d3eaf0ad4","datavalue":{"value":{"entity-type":"item","numeric-id":1807677,"id":"Q1807677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015950$08E38FC9-02E4-4831-9797-A09E19EA00CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015950$AF1FDACD-6478-451D-869F-67E71562C507","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9688fba77d08b63334dc8de515e99dd360c4df1","datavalue":{"value":{"time":"+1992-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4015950$07D99640-4AA2-4F8D-93E2-AFE9AEDCFCD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015950$7562DC91-4F59-470F-AFCD-6C2770EA24AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015950$26608950-B2C5-4D41-BF6B-24FDBE58BCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015950$267A07E5-49FE-4AED-B094-D25B291D9780","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d0452352674d1a4f2b0a8f016d5998351a38d58","datavalue":{"value":"70119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015950$2DAA1649-281C-437A-BEAF-C7DF9C46AD05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31372232781199a837827b0ae656bdd89562c27b","datavalue":{"value":"functional semantics of Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015950$0D60C3F4-8047-465F-A075-AA61CAA7D9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b5a5faad52d01f7c4a999ee6bd3696bd2e1de51","datavalue":{"value":"first order properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015950$B39E3CA5-8B36-42AB-8F28-0366744B88A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a686408072bcf1b46a81360f14b70ced91bbecbc","datavalue":{"value":"first order theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015950$0D2BB5EC-BB31-4E65-9745-1C43392BD947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f55bf1df682210d59e19393fa36519cec337e7","datavalue":{"value":"structural induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015950$370E3150-7414-4930-8F71-940672A3D725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1279221fe7735b1b47afd1411b335eca7e3f0e","datavalue":{"value":"minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015950$C628D3B4-F082-40D7-B938-2A0E4222D883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abab6d51bc0722532b523ea42f8eaf8ed745f963","datavalue":{"value":"cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015950$B7237D8A-9EEB-49D2-836A-E94754E18F51","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":"Q4015950$D50F86E0-52F0-4E33-A02D-022227E66FD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd58db8b3cc9b6a45dfdad57210fa30a39e7519a","datavalue":{"value":"https://doi.org/10.1016/0743-1066(92)90045-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4015950$8B53C544-4D3E-4E05-A8F2-C4657B843E75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68a2388751a2e5fc19a77af68085a74814723c05","datavalue":{"value":"W1973337882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015950$3E8B852C-3AE2-4802-A0AA-BE7FDEF5359D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4658aeeec63d7e3ad22f9cc4371820983f8f2768","datavalue":{"value":{"entity-type":"item","numeric-id":3698285,"id":"Q3698285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d20d838b738ae48bae9e64755cae61a9cf093c1","datavalue":{"value":{"amount":"+0.8782910704612732","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":"Q4015950$2B961305-019F-4CD5-9B97-22688E94D83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c96102f223a0ebb534412d9033baaed6d665e8a3","datavalue":{"value":{"entity-type":"item","numeric-id":5096221,"id":"Q5096221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc46a02a3139032b200df1068bba2732d7195d08","datavalue":{"value":{"amount":"+0.8383910059928894","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":"Q4015950$105D8545-4CBE-4898-8C9F-D90E5B4A3B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e7168a241473f35e7bdd3bb270aebcc0ad7989e","datavalue":{"value":{"entity-type":"item","numeric-id":1308986,"id":"Q1308986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a5c61f9f7d2f0404b7aec92423279ab4557975a","datavalue":{"value":{"amount":"+0.8362963795661926","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":"Q4015950$9E879C5F-349E-4433-AC4E-37CCBCED1487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19077c4a91a76f2b9613650b2b5d1c2d1487498a","datavalue":{"value":{"entity-type":"item","numeric-id":3841095,"id":"Q3841095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c1a686d3e74ac339df6d2b6d463052b105fc73","datavalue":{"value":{"amount":"+0.8360841870307922","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":"Q4015950$C174FB60-F387-4E36-857C-EE2EA91CED62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da9e6eac3c48ab2bc3460d70885994e889af819f","datavalue":{"value":{"entity-type":"item","numeric-id":4878774,"id":"Q4878774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c80ff07fd5b06365800441b5af1d1953008529e9","datavalue":{"value":{"amount":"+0.8293306827545166","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":"Q4015950$DAD0D7DA-252E-4BE2-B52A-DA8DF3F35876","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4015950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4015950"}}}}}