{"entities":{"Q3172869":{"pageid":3183579,"ns":120,"title":"Item:Q3172869","lastrevid":45612316,"modified":"2025-12-11T09:21:05Z","type":"item","id":"Q3172869","labels":{"en":{"language":"en","value":"Automated Termination in Model Checking Modulo Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954747"}},"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":"Q3172869$E1A41F8F-C3BC-4826-8C05-938BB089E031","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9220529e4d0459baab8f97ce3ffa81dd2de62d06","datavalue":{"value":{"text":"Automated Termination in Model Checking Modulo Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172869$735D9A68-9042-4E68-B1F8-F8E9B796C736","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98b3aaebaaa3ccece246e61d29be5bdfb172ea0c","datavalue":{"value":"1348.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172869$AA2354FE-E141-4D92-91F8-49F4AAA2805A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1e38158ebed54b373bd6a107b9f3b0f33e62a85","datavalue":{"value":"10.1007/978-3-642-24288-5_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172869$1E503DEE-C42D-437B-86E0-BCC6C05862BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec7108391988fd47a8fb88f870b56a6cd2c2bfb4","datavalue":{"value":{"entity-type":"item","numeric-id":2841995,"id":"Q2841995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172869$C6DA8931-E29D-48C6-9EC1-EA6609DB8CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172869$15CD0BFC-6F1E-4C1F-937F-3753A7B3CD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172869$0402C0B9-F471-44E2-B532-459868EF68B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172869$D03E2FFF-38A6-446E-85CD-7944FC8214F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172869$C632779D-C284-4CDB-82CA-990FCECFD6F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172869$39D74A89-9661-4F68-81E5-A4E216F4D507","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fe88bf6c95b2ba351021dc66fe3feae54f57ab4","datavalue":{"value":"5954747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172869$85138476-0AB2-4D74-B04C-8BBAB4950A4B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172869$6AFE527D-AC61-4C09-B749-DC35AC8A4BFE","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":"Q3172869$B1539015-CA54-4B24-A7DA-E3DA5959D749","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9651a10171d7fae69e9ea8a4adb98be8297c172","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24288-5_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172869$422B8586-F1CB-4175-9327-98CBD88E0313","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa8eae708b3ff7068a68d29cd191690af8aaef42","datavalue":{"value":"W2173515606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172869$F1C773D8-A263-4BE5-9283-538384AEFC02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bddafda16883dbf41636293813aa648ee5334931","datavalue":{"value":{"entity-type":"item","numeric-id":2841996,"id":"Q2841996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8ce174d2e91f3311fcc1e28c9e33692a68378d","datavalue":{"value":{"amount":"+0.99847746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172869$25CD3320-8E6A-4F67-A09E-6DEFE663229E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20efe89d20e675dc45427aaddb215d18b113b756","datavalue":{"value":{"entity-type":"item","numeric-id":2583289,"id":"Q2583289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fef3123964850910f1acccc877130153efa6e3c","datavalue":{"value":{"amount":"+0.9214938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172869$CD6F5805-4265-4E28-9F1F-CDE4CE22BC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af991a839224cc6fc3adeed38d6e7c357c309dd3","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4bc203b2c9802d4a1f4b47d0cee124c840f4e0","datavalue":{"value":{"amount":"+0.9092661","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172869$37810D58-8DED-4804-A0C6-7EFC692FE3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"982e6f58388861cd999ded83376c67f25ff648df","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb24f299774fe6b4a78ce4b562ef08867a306d00","datavalue":{"value":{"amount":"+0.89686894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172869$BB573D38-2862-40CB-A830-34507447B408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2cd6ac266c53d3b9dc6fd98343cf7ed39f2abc","datavalue":{"value":{"entity-type":"item","numeric-id":3454102,"id":"Q3454102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04824a79f756e071497f8fd772b71bc9c4a45a3f","datavalue":{"value":{"amount":"+0.89567965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172869$CD6CAC4A-1C99-4B0B-84F6-F1338DA5047A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178b814139f2dce1d4d74300894e54f300141c05","datavalue":{"value":{"entity-type":"item","numeric-id":4503921,"id":"Q4503921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70353153e07cc3ca6c2453af6f29a86591aabe50","datavalue":{"value":{"amount":"+0.894336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172869$7846644A-2D6C-4652-B992-9150292FD83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0766b5576fcb4861b99a8cd22ac2ba79b28c2eea","datavalue":{"value":{"entity-type":"item","numeric-id":839994,"id":"Q839994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94843d92ab87a39f2100f92835099cb5b8a5f7e4","datavalue":{"value":{"amount":"+0.8923225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172869$59B049D3-F265-48D8-A444-10671D02C5BD","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":"db6962a49e2a6529c4fc737ff1e72bcd736130c4","datavalue":{"value":{"amount":"+0.8907238","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172869$3F612FF6-109F-48DC-8254-9752C8AB2B82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172869","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172869"}}}}}