{"entities":{"Q3612476":{"pageid":5642382,"ns":120,"title":"Item:Q3612476","lastrevid":50601125,"modified":"2026-01-14T12:59:10Z","type":"item","id":"Q3612476","labels":{"en":{"language":"en","value":"SAT Solving for Termination Analysis with Polynomial Interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527221"}},"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":"Q3612476$BB7E27BC-958B-4D90-B994-D24761452FCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2922c00c80b8eaaeecb210b16821112bf32dd45b","datavalue":{"value":{"text":"SAT Solving for Termination Analysis with Polynomial Interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612476$0466EFCE-51E5-4EC4-8EC4-1241E873889E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f98a52815e1c06ad64008f09f382e94e69054531","datavalue":{"value":"1214.68352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612476$B9FD39CE-793B-46B5-9D96-DB0B621149B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05ef6659ee33e040f3bb6b73abdef26316b400c6","datavalue":{"value":"10.1007/978-3-540-72788-0_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612476$D678D785-B08B-46A7-A7F8-CCE991C82104","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5320a359c64bceee0a4053edac274f2ae03f2ee","datavalue":{"value":{"entity-type":"item","numeric-id":438534,"id":"Q438534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612476$621E74D1-A4BB-4AD2-A4A0-5A2BFBB37C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612476$FFB16508-F2A5-4833-BE18-2FBBB564BA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612476$7B7CFA23-BBCC-4977-806D-E93EDD6C1E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee03ce229dce1ad90ba116368ba88145bf746ab","datavalue":{"value":{"entity-type":"item","numeric-id":340574,"id":"Q340574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612476$1F101601-D0D7-493C-B73D-4CB9EEF69C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612476$BE53C387-B8BD-43EE-8662-56FD225C5320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83136e3815234cec6578a3872e677d362852be2f","datavalue":{"value":{"entity-type":"item","numeric-id":352958,"id":"Q352958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612476$8A06C42F-56A5-4953-87AF-99E1893FAE24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3efd11b40e1cc120a7f890fafbe829ad3d505a77","datavalue":{"value":{"entity-type":"item","numeric-id":3612451,"id":"Q3612451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612476$3E4EA585-F428-44B0-8065-26F2E3EDB77B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-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":"Q3612476$FE7035FB-4460-49A9-95D0-8BFCC3950F1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612476$CFBE1B73-F829-4E9D-B6F6-328C0364BA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612476$BE961EA3-3045-4169-A385-2BABCDFFCB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612476$AE0C11DD-516B-45A1-A29C-5F8D571D51B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ffb436c03580cfd76c0ad23ce6660743ceed0b0","datavalue":{"value":"5527221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612476$58291E7C-B5E9-43F9-AAC3-C1F5886DC042","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612476$8EE2B501-EFCE-464C-A0E5-601384A0A187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612476$9BF5A76F-C97F-48D4-A83E-AC356AE1C691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612476$3D0C2695-5B14-4720-9160-C8D8A3783FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"327d4a53b9450aa43441b555bcbd82aa43b41de7","datavalue":{"value":{"entity-type":"item","numeric-id":13494,"id":"Q13494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612476$605BBA34-53F9-4656-9C0E-D5EAF5543A0F","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":"Q3612476$EE674363-0641-4390-BE41-DB3CC58DEE42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83a1c1ebe6572e17798a7d0a26335eec0eb7a235","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72788-0_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612476$A9AFD1DC-0480-4A57-A1C4-6A3E2B63FAEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02457733736da6edfef11ea4abccd25a5cf5e489","datavalue":{"value":"W1484559376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612476$0DD9CEA4-5DD6-45DF-A0FF-12E5DE484C26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a863ef2024b34afedba1bca55411e6f0dc57f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3522012,"id":"Q3522012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a86ef7626a68ca8005769eb6ce6d8edd71f66c51","datavalue":{"value":{"amount":"+0.8414040803909302","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":"Q3612476$46052549-588B-42FE-8A18-156283C46A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e07785c6c057dc5394f559076e0c2b5b176212a","datavalue":{"value":{"entity-type":"item","numeric-id":5505493,"id":"Q5505493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f14c1392d0b6609f6d36f879c8d4d2f10eef002","datavalue":{"value":{"amount":"+0.8403298854827881","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":"Q3612476$0478FDF5-E422-43A9-B160-BDD780C6421C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326b087848ae01e2bca640403e3b0a3f1fb856a4","datavalue":{"value":{"entity-type":"item","numeric-id":5191109,"id":"Q5191109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce6efc69d88bddbd40c76199a47bfc542c206fa8","datavalue":{"value":{"amount":"+0.8139145970344543","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":"Q3612476$1044F905-01B7-473C-8E35-5E41D4F6ACB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bbfd54b1a8265b5163400539449c0671db6607","datavalue":{"value":{"entity-type":"item","numeric-id":2871851,"id":"Q2871851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe6d71befe5dc6090b6a6483423940a88de0fe6","datavalue":{"value":{"amount":"+0.8024107217788696","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":"Q3612476$E98F6D29-628C-4AA1-9C79-741388F31E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf194a08d302e010b5662dd861acd55ba1d05c8","datavalue":{"value":{"entity-type":"item","numeric-id":5475786,"id":"Q5475786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a075c444f8147d7b8e332a3eb9dfa2edcf01a600","datavalue":{"value":{"amount":"+0.8017812371253967","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":"Q3612476$3DAD29E8-204C-4B1A-8F1D-D9F6E3BF2F0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612476","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612476"}}}}}