{"entities":{"Q2841996":{"pageid":2852716,"ns":120,"title":"Item:Q2841996","lastrevid":51784832,"modified":"2026-01-20T00:46:55Z","type":"item","id":"Q2841996","labels":{"en":{"language":"en","value":"Automated termination in model-checking modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6192841"}},"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":"Q2841996$3C1DCF4B-E917-4DE9-977F-4D6ABAE31CF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efb5031cb017389531cf273f0061643176a341b2","datavalue":{"value":"1286.68308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841996$2CCE48B9-A23D-4EE9-AD2B-B0D96E8AEBD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bac53e35b9a5888ae7bce5752ec9dbaaa4d03f1","datavalue":{"value":"10.1142/S012905411340008X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841996$278DFA2D-5234-4012-AA34-A12A2FCDD34E","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":"Q2841996$D50B4999-CA44-427B-B98F-C8A1848188DA","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":"Q2841996$D00F85B8-6602-46DC-9590-CEC057F6BF4B","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":"Q2841996$33579E8C-0698-4E8B-AB36-045B258A5CB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841996$C2CEA755-044E-4982-9140-39B4B97CCF89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c86eeb1cf1b5bc0e7bda48e7a87fbb18b6ccc2d0","datavalue":{"value":{"time":"+2013-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841996$BF1B73E6-FACC-4E00-97EF-ECD0A86DC7B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841996$50D25EEA-F24D-42CC-9027-5EE2E9258EF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05eb395fa95068c43fe760d6e865c912e5fcabf5","datavalue":{"value":"6192841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841996$EA4B38C0-2905-440D-95AF-D97811A72428","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e39db781dbd81a8afeccdc9c20a21a0f55631f80","datavalue":{"value":"infinite state model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841996$FABE7E30-6391-4C49-B8F0-06F9B03CC332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"428b8303d834fd2bf837d484025592b83c58e7f3","datavalue":{"value":"well-quasi-orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841996$63D951AC-F7CB-4556-B2B7-EFD57E7DFF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841996$FF573FE5-C440-430A-A11F-448658DE8C9C","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":"Q2841996$49E241C0-AD7E-4C24-923A-5BDBA61CA949","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841996$C98A0D45-9F6F-4C61-A5F3-FE7D541C71FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841996$01691B3E-0591-4749-A960-7A6BDB4FBD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03614393cfd083a0ec1d904cd9ce50b0636d0e52","datavalue":{"value":{"entity-type":"item","numeric-id":1853078,"id":"Q1853078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841996$2E6CF2DD-48D1-423E-9DA2-7859074B757A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3606632be9e947d973f24ed07be17bfd8921da25","datavalue":{"value":{"text":"Automated termination in model-checking modulo theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841996$C8505FE1-8C10-4FC4-9872-AE6DAA96C90D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4448f3e47dd0697ebedeb936959543aa153d3a47","datavalue":{"value":{"entity-type":"item","numeric-id":3172869,"id":"Q3172869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"039e4bbcacce5d397310579264a82e2ec5f93fe2","datavalue":{"value":{"amount":"+0.9713813066482544","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":"Q2841996$1B2B3560-D9D8-4F6A-AD9E-1FC1286EC088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16f3946f85e87256de2c415f3cf1a294f0bc2ef4","datavalue":{"value":{"entity-type":"item","numeric-id":3081445,"id":"Q3081445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23df1ec5691425a6a8e121d512e697c763ba7889","datavalue":{"value":{"amount":"+0.7989282011985779","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":"Q2841996$D2525241-A17F-4344-BF04-06850314186A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97434220c731f87d7ae92c4fa46509ec4e361296","datavalue":{"value":{"entity-type":"item","numeric-id":5941104,"id":"Q5941104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6099109572c8483efc81ea698e9d70b045eacd6e","datavalue":{"value":{"amount":"+0.7553356289863586","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":"Q2841996$19CA812D-2A22-45BE-9147-AF760137F1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab708b87e2154529b600539565947a2ae82c8e5","datavalue":{"value":{"entity-type":"item","numeric-id":5292626,"id":"Q5292626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6099109572c8483efc81ea698e9d70b045eacd6e","datavalue":{"value":{"amount":"+0.7553356289863586","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":"Q2841996$E8E72F32-58F1-4D59-BD3D-A6DBF961824A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e06016963fa7603b778e3bb1f46482d10e1b53c1","datavalue":{"value":{"entity-type":"item","numeric-id":3648730,"id":"Q3648730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c52d7cf60384418b04edcd959f4cedc53e234ee","datavalue":{"value":{"amount":"+0.7438921332359314","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":"Q2841996$2E7B9B55-D626-41C9-B9A6-17621B7A8186","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2841996","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2841996"}}}}}