{"entities":{"Q556677":{"pageid":558444,"ns":120,"title":"Item:Q556677","lastrevid":62721189,"modified":"2026-04-11T08:00:46Z","type":"item","id":"Q556677","labels":{"en":{"language":"en","value":"Model-theoretic methods in combined constraint satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2177894"}},"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":"Q556677$0B9EA782-025B-4BC4-A85C-2C3E43F28AA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02fcc5460818350f95327d5e4c35e7a55d5890ac","datavalue":{"value":{"text":"Model-theoretic methods in combined constraint satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q556677$E09C1092-FEED-4724-97F0-C1CAFDC8840D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"108327dec0f24b06d6395862f6862de27bdf2dde","datavalue":{"value":"1069.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556677$9C395657-D034-4E33-B296-8433C8C6E714","rank":"normal"}],"P16":[{"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":"Q556677$DB4E336E-5B2C-44C1-A769-BE11CD2C8B60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$FB7F3B31-BCDC-46A5-BC8F-1C87B6D2F666","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a415faf8a5f610a3108e7fd472916d58928f6763","datavalue":{"value":{"time":"+2005-06-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":"Q556677$F9B85781-DFD9-419E-85AF-74265E4B2E05","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"79735cf818105b34e86e57790d0133b7cf20f6dd","datavalue":{"value":"The Nelson-Oppen combination procedure is extended to the case of two theories over non-disjoint signatures, in the presence of compatibility conditions over a common universal subtheory \\(T_0\\). The extension gives combined decidability in case \\(T_0\\) is locally finite. If \\(T_0\\) is not locally finite then the method can be used to limit residue exchange or to forbid impure inferences in saturation-based theorem proving.","type":"string"},"datatype":"string"},"type":"statement","id":"Q556677$76C24D67-F650-4DC9-826E-D7CE0C2678E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556677$F118B902-6FE2-4B82-8AC6-F834A5C1FCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556677$6D8AD6C4-095E-4943-BCD2-42DFC2C591DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556677$56A2B431-5244-4A9F-A890-2D21C00C5521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556677$883DEDD5-059A-4C45-B37C-C5C1D28C7C6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a27f94198e2b7d6b2946431bdf774015de8c8b89","datavalue":{"value":"2177894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556677$6C892F3B-A45B-4A5D-96D1-216B63082636","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3089277d918517224b20c530c0b7a6f9221b28e","datavalue":{"value":"combination","type":"string"},"datatype":"string"},"type":"statement","id":"Q556677$8DC8D227-B48C-4695-9E1F-5104097E546E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a503428d5c41b7ba45c34e27a2fc2091e2ff0a","datavalue":{"value":"Nelson-Oppen procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q556677$0CFD6AFD-8D0A-4C48-ABF0-92B186341081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f03f3e84760c90f7412f657674fcdcfaca409b93","datavalue":{"value":"fusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q556677$45C78527-2CFD-41C3-98F2-94F422C40D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab27f648cad08668369d76b7e10dfe545610fe7d","datavalue":{"value":"superposition calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q556677$82FB9254-B010-4C1C-B45F-3FD38D3E4E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q556677$7D9EF0DD-0811-466F-9FBD-4C82565CC043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eab10067cd931467ede1ed593ce68a2d0ce68f4","datavalue":{"value":"model completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q556677$C7AAC690-2CB9-4E92-A07D-73417242B995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b9766119b6cf21622b800c5aee203fe2fe002f2","datavalue":{"value":"combined decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q556677$C03E20C3-43BB-46BA-9E54-076A3DAF6F55","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9fb773d0cd3a039a126cfc91f47bdfc04e0ccc60","datavalue":{"value":{"entity-type":"item","numeric-id":1166490,"id":"Q1166490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$9DE2BA91-F3BB-486E-8FDB-F95A5BA66586","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$F5E4D87C-F400-4812-9E50-54B2632E9E49","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":"Q556677$E5763B54-AB1A-4F96-B3FA-9E182C1F706C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"baf2b66e10984dd077ec40152dc1e1a81f32a587","datavalue":{"value":"https://doi.org/10.1007/s10817-004-6241-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q556677$2801C404-80DA-4C2A-8E7C-FE4426E86DD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c37440edbf681adaecb7a41dc81ab00e7a3bd8c7","datavalue":{"value":"W2082963442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556677$87D7D4A2-F17A-4230-AF5F-E347FD588EA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"473236154e33a40bad762b19d632e6230db77ee3","datavalue":{"value":{"entity-type":"item","numeric-id":4785507,"id":"Q4785507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$ABADEF84-E894-4DD2-8CCA-3FF8EC6207FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$34637CF8-EAA7-45FD-9F7B-CBA087EF0BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b883d135cbc7287626f79edea5ef4844942aa17f","datavalue":{"value":{"entity-type":"item","numeric-id":5307057,"id":"Q5307057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$41476F63-B3C4-4BB2-8ED1-A8E7AF929DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6403b873c0e02d3cdbc49e287eade35ee54e4c7","datavalue":{"value":{"entity-type":"item","numeric-id":1400706,"id":"Q1400706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$14BDBDC1-C692-433A-A4DF-5112C4075135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6d6d7d846b82558a17b253d8a8e2e0d022451d","datavalue":{"value":{"entity-type":"item","numeric-id":4808758,"id":"Q4808758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$D0E088D6-CC18-49C9-A65D-08308B5EA192","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":"Q556677$5AFC87C2-CABF-488E-BBAD-1D40922D9D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49666558e5a266f8c31a331a000db76b0e587406","datavalue":{"value":{"entity-type":"item","numeric-id":4524792,"id":"Q4524792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$651E1752-F577-411F-A4EB-7BFB34F8F20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e208f03916efe6a5597738889b82e1e0ee46e6c0","datavalue":{"value":{"entity-type":"item","numeric-id":2751364,"id":"Q2751364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$812ED870-D6B2-4387-94B4-D24E1CF039D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$C5A1310A-3F86-4C9D-BB99-1C8DBBDCBF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$4E3CF400-03BB-4EFF-B807-EA26C9AEF351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$098447BD-D97E-4B88-A80B-DBB666478643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f1ef6eb73291af224cbacf52161fb84aead73a","datavalue":{"value":{"entity-type":"item","numeric-id":1398463,"id":"Q1398463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$C59B07BE-29A7-4FD3-B64E-A39718B5C88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b313d2b1b63a2592d25a191f7ee9acd6720ae44e","datavalue":{"value":{"entity-type":"item","numeric-id":3408136,"id":"Q3408136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$72AB4655-CBE9-41CD-9E57-3552404107F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79205307b2e374114a851fdf52f3d5af953392ec","datavalue":{"value":{"entity-type":"item","numeric-id":1405891,"id":"Q1405891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$274176B0-D253-4998-A17E-BDD66BCF4DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86decea48754e391438a388354722a9a53c889af","datavalue":{"value":{"entity-type":"item","numeric-id":1610671,"id":"Q1610671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$65FDCFFD-C75F-417F-ADD2-742BDF31F64E","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":"Q556677$DE4AF466-A20C-4BBA-8417-65B3D8628F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$6A98DCED-E926-4AE3-826B-BFA1195A9934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7ce055161077ed6f3aeba8784aca561bea80b0","datavalue":{"value":{"entity-type":"item","numeric-id":1247317,"id":"Q1247317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$4E55984C-6D55-4EE0-A443-D478AEF01D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee2617cef1cf0c9ff3231738b768f1c996bcadd","datavalue":{"value":{"entity-type":"item","numeric-id":1141138,"id":"Q1141138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$B5EC607B-6262-4297-AF9A-DCA1CB15A4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84948bf7400d8867265f975f297f2e1fae503e4","datavalue":{"value":{"entity-type":"item","numeric-id":3935457,"id":"Q3935457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$90BFAABB-613D-4507-BB2D-2109955A5657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78611c23d99ac7ae6599e77d46b398442759275","datavalue":{"value":{"entity-type":"item","numeric-id":1810855,"id":"Q1810855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$263698A2-EE5C-4F34-8D0C-D50557CF5A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6866f585cfa776b9fccf0895bf6dd97331fa91","datavalue":{"value":{"entity-type":"item","numeric-id":4385439,"id":"Q4385439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$71ABB06F-E9B1-4866-B83C-B887898B8E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a748714b8345f91d27541e05f92e23fd3e4dd2","datavalue":{"value":{"entity-type":"item","numeric-id":1853591,"id":"Q1853591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$61377CCD-11D4-453A-A79C-6C526CA0949C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b95b9e8a4f9c149a680957cc718b9e146249a03","datavalue":{"value":{"entity-type":"item","numeric-id":4916220,"id":"Q4916220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$52938A7D-B776-4411-B53E-B66EF35FA493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8697b2094016b1d14d9b7d46af4849fe91f1c6af","datavalue":{"value":{"entity-type":"item","numeric-id":1254309,"id":"Q1254309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$C90E82D4-1B74-4C81-A850-FD2642BB66E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cfea5fcebfb4162710425692e427cbf2157a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1103602,"id":"Q1103602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$C74D92ED-D917-4124-80AC-DB3DA006A65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee07fcea414848149641cfae6cb148663a511b07","datavalue":{"value":{"entity-type":"item","numeric-id":4215611,"id":"Q4215611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$354E4283-5491-44DB-96C3-F1241D22F497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cab661edf5e36c0101a5b6172234c1fa39d179d","datavalue":{"value":{"entity-type":"item","numeric-id":4412868,"id":"Q4412868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556677$B2A03688-A893-4C0A-85A9-148B676C9B73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6fd0bc9a8d07c2bc19f60f71f434bc7342627d4","datavalue":{"value":"10.1007/S10817-004-6241-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556677$21B8DD9F-D16C-455E-8DB0-5987CFB2252A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b31fc71a6b23556d529814a409bb49f6e92fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1853591,"id":"Q1853591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3365c8ec5b8d3d8bd7987dc36f9bde9ac9f75b","datavalue":{"value":{"amount":"+0.8476016521453857","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":"Q556677$D3A9CD99-5DF4-47AB-96D2-7F126F9544B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5ec514b9c2e158b54e2132228edad9c9392f9a4","datavalue":{"value":{"entity-type":"item","numeric-id":4385439,"id":"Q4385439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc4f2422c4d87a3a7babe88103292aee67d820b","datavalue":{"value":{"amount":"+0.8384097218513489","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":"Q556677$86D9B8D2-CDCC-424D-BC38-1CABE147D948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83799d172caac9de556d975c6e02093382a2446","datavalue":{"value":{"entity-type":"item","numeric-id":3677735,"id":"Q3677735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc4f2422c4d87a3a7babe88103292aee67d820b","datavalue":{"value":{"amount":"+0.8384097218513489","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":"Q556677$1E178D69-D159-41A5-9C41-F6052B94790A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b029dedb84983a37d837c81ef7ef3252417e9d4c","datavalue":{"value":{"entity-type":"item","numeric-id":851136,"id":"Q851136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4bee8e102b748349a6a5d7217c27529f42dbb2","datavalue":{"value":{"amount":"+0.8162325620651245","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":"Q556677$1FED6239-D27C-46BF-9D5C-DE954F68FA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454da0640ef8bf5884cd6e6c7b7dedebe8ad02eb","datavalue":{"value":{"entity-type":"item","numeric-id":2864402,"id":"Q2864402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25592a959da62f8a45b0d48c07992286c059319","datavalue":{"value":{"amount":"+0.8021703958511353","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":"Q556677$ABAACFCA-B20E-46D0-8EFA-2C52E2402507","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-theoretic methods in combined constraint satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model-theoretic_methods_in_combined_constraint_satisfiability"}}}}}