{"entities":{"Q4669655":{"pageid":6699236,"ns":120,"title":"Item:Q4669655","lastrevid":48461317,"modified":"2026-01-04T21:35:39Z","type":"item","id":"Q4669655","labels":{"en":{"language":"en","value":"Inference of termination conditions for numerical loops in Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2157096"}},"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":"Q4669655$6D5F8D2A-45A5-440C-ADD3-3B430788905C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02dc86a2cc85208eb3e57d33d9c56d1bca542be5","datavalue":{"value":{"text":"Inference of termination conditions for numerical loops in Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4669655$FA0FAE68-E19E-4974-A23C-DF0F66D26311","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a949b0f44aadc06c5f36d037487c3349c477745","datavalue":{"value":"1088.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669655$B918943B-9032-4E77-915E-ED3EE7FB5D60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49f99d59591209efb8ff193a864662a6a1fe073c","datavalue":{"value":"10.1017/S1471068404002042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669655$21DD0E30-0A30-4CA4-88AC-8DFD0EB1797F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9024bd961b47c56bce1b473c968c94a7820ac985","datavalue":{"value":{"entity-type":"item","numeric-id":199250,"id":"Q199250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669655$F92542D2-9B53-479B-AA56-D052F2528602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19ef65edb47a3907b8782d56d731ecf0cd5121a4","datavalue":{"value":{"entity-type":"item","numeric-id":199253,"id":"Q199253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669655$827D266F-9AD9-4EA5-886A-3C878CAC0B82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669655$51E68858-A1B6-48DA-B710-617D780292E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6393262d26b4b605f7bb5c90690073e7109b5486","datavalue":{"value":{"time":"+2005-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4669655$C6255CD4-3A2C-489B-82DB-801F64D165E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669655$47ED61D8-6BC3-41C2-BF70-3B7DBFAA172D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdd62ca8da2a619c62608d3efce6b1672c060366","datavalue":{"value":"2157096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669655$0471074F-7B5F-4C35-BBF6-74EA7F8876C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4669655$9FCC1E9D-2BB4-497B-84A1-2036BD282566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1409b8cd049f3cf2ffe2b5b979826eb62c46a77","datavalue":{"value":"numerical computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4669655$0A10CAFD-ECF5-4A42-9922-6B0A5493A206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4669655$589D43A2-BE71-4180-A66E-BAD8D682B3D2","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":"Q4669655$04D3AFB5-DD95-451B-BB89-6AB94FFAD197","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"687c25674b769e6ec709a1a2579628eb89cb651e","datavalue":{"value":"https://doi.org/10.1017/s1471068404002042","type":"string"},"datatype":"url"},"type":"statement","id":"Q4669655$1FB49273-264F-41F9-A01B-65B2BC2FA42F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a37b052942478a5fb1d6538a8948e49959de934","datavalue":{"value":"W2397971081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669655$3E671E42-8FE2-433F-8D59-6068F69FFBF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d802fc4a4862bab0bd4644d8709d168599bf755","datavalue":{"value":{"entity-type":"item","numeric-id":2996199,"id":"Q2996199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4056f7ada671a0b40bf1d4d4cda8cd50ab3e277","datavalue":{"value":{"amount":"+0.9198203086853028","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":"Q4669655$62D88176-3C33-4626-A51D-99A652E14221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755db71bb67d723b2fd3cfbecc665c17abccc4d9","datavalue":{"value":{"entity-type":"item","numeric-id":4411956,"id":"Q4411956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bad9774695f3e40bb800a7814166e29bca1a4fdd","datavalue":{"value":{"amount":"+0.8227956891059875","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":"Q4669655$408D8678-5661-45AF-B84D-73FD06F71177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"376e8d7b5fda582a146664d315f2059fe9d22b18","datavalue":{"value":{"entity-type":"item","numeric-id":850498,"id":"Q850498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f48121c4573ca1776e5d2e7d93e763371fda3527","datavalue":{"value":{"amount":"+0.7979264259338379","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":"Q4669655$6901D3AE-84EA-4666-9C72-4ABF846E14F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0a802207774410f576ebc589867652a625a02b","datavalue":{"value":{"entity-type":"item","numeric-id":5941755,"id":"Q5941755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6e33f6f5eb73509ac3f11bc9df57903feb9430","datavalue":{"value":{"amount":"+0.7939676642417908","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":"Q4669655$747EC661-7579-4086-A265-E873A4953E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68dfec6cc7c1b55c7aff1f98e8cfbff05da12d49","datavalue":{"value":{"entity-type":"item","numeric-id":4779112,"id":"Q4779112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d59fa31275dbf319ae3b45ad8759219200de6444","datavalue":{"value":{"amount":"+0.7933501601219177","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":"Q4669655$A579D66B-6E46-4338-B998-ABF830756218","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4669655","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4669655"}}}}}