{"entities":{"Q3172895":{"pageid":3183605,"ns":120,"title":"Item:Q3172895","lastrevid":85992806,"modified":"2026-06-03T13:15:57Z","type":"item","id":"Q3172895","labels":{"en":{"language":"en","value":"Modular termination and combinability for superposition modulo counter arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954771"}},"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":"Q3172895$CB52FDE6-E556-4C4A-9422-C2DD1C6B4805","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df66fdcdb29e9753506f63c7ebd2153505092e5f","datavalue":{"value":{"text":"Modular Termination and Combinability for Superposition Modulo Counter Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172895$4D2B375D-96AB-4230-8CCD-88F60642D9B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"875fcb27be355b83b652aa6b94b699f07c38f29f","datavalue":{"value":"1348.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172895$9A1D1682-5217-49F7-A030-D4EDFB49BF2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24d5ced0d7f9cad85ca3bb4177688869b389c2a1","datavalue":{"value":"10.1007/978-3-642-24364-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172895$A4691AEB-0FFA-4107-9661-63D74FC5569A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d2abcbf491e57c8b4eebf23b3e8446f4e5bbb9","datavalue":{"value":{"entity-type":"item","numeric-id":831918,"id":"Q831918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$5F4575E9-B256-4EF8-9130-2FFF8A7196EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9431f83a4f8857bb74e3ca69031f854d9b027223","datavalue":{"value":{"entity-type":"item","numeric-id":1941872,"id":"Q1941872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$9222FEE8-DB0E-42AF-A364-20072CEC34AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$3519718A-709A-41A3-98EE-4D834E47843D","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":"Q3172895$1605BD4E-24D1-4567-8AEE-B459C676CEE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172895$80E9B9E7-E25C-4008-9EE6-2FBB05B66981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172895$93FBDD6A-A54A-49CD-BCD4-CB26D497A8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172895$A272C651-0E43-4CFD-B9A2-6876B29F44B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f016498a6aa92cb5132617ee82fbeb8059f4e13","datavalue":{"value":"5954771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172895$1005E57A-6A07-49CC-9B14-8D7D2C040D5B","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":"Q3172895$431D6139-7915-4463-BF29-41D8248A0911","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d2728caf9ae1e709f3dafa2fa26aab5cf1461eb","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24364-6_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172895$4C895F8B-AAEB-4694-8DD1-49060E46E3F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dacaa7d06efcdfdbd5abe7d04bca49f7c2273c57","datavalue":{"value":"W2125573666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172895$4FCBBE40-4122-491C-9438-7CCAC5135956","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d76e46128bb0e55696f95b3bb5f826ee9e8fcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5277822,"id":"Q5277822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$6F5E3A6E-7997-45F3-8E6B-C45FBC95CA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103360585a9bffb1c1cc70bf60b5d74438ed3255","datavalue":{"value":{"entity-type":"item","numeric-id":1401930,"id":"Q1401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$1ADD1827-CF2C-4E7B-ABD2-1CB8A5111AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$40BD13A3-667B-483B-A9D9-7BE88289BBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6386f9d9d555cce966644dfe59274fe1062f77ec","datavalue":{"value":{"entity-type":"item","numeric-id":5450569,"id":"Q5450569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$22C106BE-5741-4298-AA38-666C1D12CB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b18a75aad9c9a7a5a4368c62a0e4bea68bf145","datavalue":{"value":{"entity-type":"item","numeric-id":1041591,"id":"Q1041591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$C75A52D1-F02F-425D-B8B0-AE912F7E6BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ccbb30e3d39b99c4e0e0023e105dee668916c7","datavalue":{"value":{"entity-type":"item","numeric-id":5191095,"id":"Q5191095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$43484A1E-A21E-4EB7-A03B-0B24FEBFB736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db15afe119e4d8924199889dafaa491710809a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2751361,"id":"Q2751361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$B1BC3C21-CA1A-4589-8501-658B72EB8FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$0AE0CE38-5F57-4975-8930-5E52716A39A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b46d5f65e8737cac806fe4f42d3b4d6ec963c54","datavalue":{"value":{"entity-type":"item","numeric-id":556677,"id":"Q556677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$69CE0486-7469-4901-B8E2-537E7A6D6B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf31db5eff704badf24a749933b64d7b604a12b3","datavalue":{"value":{"entity-type":"item","numeric-id":5277797,"id":"Q5277797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$4B1C79B7-5B05-48B2-81B6-EDD55202DF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"935217a246ae5adafd48508e6fe779ec4121b228","datavalue":{"value":{"entity-type":"item","numeric-id":5387918,"id":"Q5387918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$D8BFDC1D-4A15-4F2A-865C-F809D8DA1895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e06c9ee7f63c1861be20393d8a1882f7729ec88e","datavalue":{"value":{"entity-type":"item","numeric-id":549666,"id":"Q549666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$309F1070-4A9E-4E84-BDA9-0FB45444B494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eea469bee372262cc158dff9d2310377ca0b181","datavalue":{"value":{"entity-type":"item","numeric-id":5434520,"id":"Q5434520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$01B5B131-C75D-4654-9DE4-88C58A7828E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$2A2029E4-D450-41EE-A0FA-F8C82DAA2782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1babbfe4d83e4e385ba90dd15d59553947f6693c","datavalue":{"value":{"entity-type":"item","numeric-id":5191096,"id":"Q5191096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$15A46C8D-9B8E-4A02-9E62-B2567F571575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fefcfa398acb80ec88150255db1a4508f3ae3f73","datavalue":{"value":{"entity-type":"item","numeric-id":3655209,"id":"Q3655209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$5AD78C6C-FE73-4B9C-BF9E-F146DDBA5EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f467290d322982de064d404f292416e1883719b4","datavalue":{"value":{"entity-type":"item","numeric-id":3084983,"id":"Q3084983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$979281BD-2B11-4A08-9BEC-6F5E7EFE66A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00230673e703c339b2d770b71ef179a8241cadd5","datavalue":{"value":{"entity-type":"item","numeric-id":2270573,"id":"Q2270573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$D03D90D7-F6EF-4985-B170-7D09103EDDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041f425d2424dea3c24ef7c01081663e6200bc4b","datavalue":{"value":{"entity-type":"item","numeric-id":5191097,"id":"Q5191097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$7A1FBE84-CCCB-4BB3-9845-1F12FAB72606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0896ea051424571856b7af2d59c1ac59a09686","datavalue":{"value":{"entity-type":"item","numeric-id":5255074,"id":"Q5255074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172895$1D12AD3B-EBE1-42CC-BBA1-04C94A5AE1E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8be640bd51e2586ca3b20a0e4d806fcaf3893ad","datavalue":{"value":{"entity-type":"item","numeric-id":5395131,"id":"Q5395131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a01e898929816bf21b8aca6d7430c8bc2ddc18ff","datavalue":{"value":{"amount":"+0.819327175617218","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":"Q3172895$0162CD86-F277-4342-A71C-E2FA6EF9ED93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f34b8c0aea220eff895cf591852ea91dcc3c3dd","datavalue":{"value":{"entity-type":"item","numeric-id":3084983,"id":"Q3084983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5580b7af3c8dac2191e353bfd80423f1fea85332","datavalue":{"value":{"amount":"+0.7882570624351501","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":"Q3172895$C6ACA927-E71E-405E-80ED-F89C5271BF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0fe463ce9a8ce536ad0418152dc67a9f8cd4b68","datavalue":{"value":{"entity-type":"item","numeric-id":5307056,"id":"Q5307056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9596b50b6a41ecff591f61fef4bc267eb0046685","datavalue":{"value":{"amount":"+0.7855486273765564","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":"Q3172895$9F77EB8A-7EF6-49CF-8275-9F872F0FA9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f68fb871a62dac9fa2ab6b30e906869c06a8dc","datavalue":{"value":{"entity-type":"item","numeric-id":2432764,"id":"Q2432764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5feca5b4eea0eaafa178e41252f86a104ed72d20","datavalue":{"value":{"amount":"+0.7788097858428955","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":"Q3172895$587BCB51-3CBA-45F5-BC5B-62FFC9E35034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"931b3cd54a342856b1779caea8653e417a8f818a","datavalue":{"value":{"entity-type":"item","numeric-id":5387918,"id":"Q5387918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5ea73b6a4f6815c9f2ad5654cbc7e39bdd728c3","datavalue":{"value":{"amount":"+0.7711641192436218","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":"Q3172895$365B2032-2518-4272-B741-2F012264BE97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular termination and combinability for superposition modulo counter arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_termination_and_combinability_for_superposition_modulo_counter_arithmetic"}}}}}