{"entities":{"Q859958":{"pageid":861806,"ns":120,"title":"Item:Q859958","lastrevid":50004811,"modified":"2026-01-12T14:35:32Z","type":"item","id":"Q859958","labels":{"en":{"language":"en","value":"Polynomial approximations of the relational semantics of imperative programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5117725"}},"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":"Q859958$BDCE8FEE-AF68-4FB8-A497-CADA6918D44B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16aea8157b5921b06541fd468b64db17050ca3a1","datavalue":{"value":{"text":"Polynomial approximations of the relational semantics of imperative programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q859958$FF0974A9-3DF5-49CF-AA2A-3EB6A2F024F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4155a1dc3892997d1907c7e149a8a910d1fa259","datavalue":{"value":"1171.68541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859958$1D90CB77-2DEA-4661-9D8C-F213929081F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57519a380c68b977f2bd31ff8b7d04738f735769","datavalue":{"value":{"entity-type":"item","numeric-id":859957,"id":"Q859957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859958$93F5C123-76E2-4CAE-A483-077639F9EBE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859958$C493DC23-4C2F-415F-BF7B-28D127BB5781","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8717bd621ac828fb200d97d6d2f52c061cac920b","datavalue":{"value":{"time":"+2007-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q859958$065B395F-F4E6-4174-B229-1B2137C4CC12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859958$24D1D3EB-8599-48C4-883B-E70252D780D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859958$BF52B757-F785-496A-9549-5FACFD43A2C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9d67fd53eb225f4fe87046f58d66bedc8a383b0","datavalue":{"value":"5117725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859958$89BE216B-110A-485F-AF26-03614E86E975","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q859958$809EF247-62D9-46B0-B403-752ECAE7CF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q859958$D5D5D057-90C1-4B2C-BB2D-36B46DB6F7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q859958$6B76BBFF-6199-4709-9CDA-A3295D0FDFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92e3b35988de92173d394ce8f50c29d53210d7a6","datavalue":{"value":"polynomial invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q859958$FAE5869F-8547-4AF1-8325-76542AC218A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df0bb66e2368214e5fad895c9525b6a9750dadd8","datavalue":{"value":"non-linear invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q859958$2175E5D2-99EC-4015-BB44-62856D85685B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20a89fe391d5cb490372bbc9d8b19652d0d55dc7","datavalue":{"value":"polynomial ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q859958$F16B6357-6B35-4BEB-8B8F-FE86C471D701","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":"Q859958$A25B958F-8A9E-433D-AD65-03B6CAF40916","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b76332b0d407abda0e79d5f0d5a5f2ab142a0172","datavalue":{"value":"https://doi.org/10.1016/j.scico.2006.03.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q859958$7B9CEA18-43B2-489E-938E-BA161143264D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c030dddb230e3220a41257f0d6d58c419b1b2929","datavalue":{"value":"W1997562124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859958$CBD57F3A-2D2D-4BD2-A4D1-03B86E34AFB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfd771025ff65568c68a19a077da39166e283f2f","datavalue":{"value":"10.1016/J.SCICO.2006.03.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859958$3A1D6B59-21EC-445A-8175-73DE1A817B24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cd620244d5c9465827a44dfc70b08fe227e6c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5466568,"id":"Q5466568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e36216c7f66f9349bb462c3b4b58418526511163","datavalue":{"value":{"amount":"+0.9318149089813232","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":"Q859958$D195CBF9-5778-4D50-9070-5E96CE74274D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55dc94d6c943e11e0ad21ad5d6cd53d7242a4d9a","datavalue":{"value":{"entity-type":"item","numeric-id":2390319,"id":"Q2390319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8181996422d55bd683138b2154eec379edf95836","datavalue":{"value":{"amount":"+0.7931161522865295","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":"Q859958$A949CA85-20B3-4750-8082-017E5946D94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a832ccc567ef0987fb70b35cb1ac2b2bf3ed787","datavalue":{"value":{"entity-type":"item","numeric-id":4649805,"id":"Q4649805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcbec38e1fb0d0c3a6fdea32d8d453d88e0168d8","datavalue":{"value":{"amount":"+0.7780606746673584","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":"Q859958$A1B55FFA-C33C-469B-8F96-239077B75955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68799fe231634b866ca64dda65083a0d7aaa5b7","datavalue":{"value":{"entity-type":"item","numeric-id":5756499,"id":"Q5756499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f08c0652026497e06dd82a556d1e947848bd1b5b","datavalue":{"value":{"amount":"+0.7557233572006226","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":"Q859958$B34AF50D-25C2-4C64-81FF-113AC94471A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d004a7d53ed46a10d48097ec12112def85fa5107","datavalue":{"value":{"entity-type":"item","numeric-id":5898613,"id":"Q5898613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a776b3afe8f0b1ad477f81395fdba819b2022523","datavalue":{"value":{"amount":"+0.7440512776374817","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":"Q859958$690D8119-1ECF-4219-8AF7-09BA8D65449B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:859958","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:859958"}}}}}