{"entities":{"Q4916219":{"pageid":6945800,"ns":120,"title":"Item:Q4916219","lastrevid":35330264,"modified":"2024-07-06T07:48:57Z","type":"item","id":"Q4916219","labels":{"en":{"language":"en","value":"Quantifier Elimination and Provers Integration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6156027"}},"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":"Q4916219$F5F43962-05A0-4BC2-AB4C-D7AAECD6B571","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"242427804049a6cb7a0de55b87300b31fe929580","datavalue":{"value":{"text":"Quantifier Elimination and Provers Integration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916219$72F87711-B421-4FEA-927B-019224EE214E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"385d02fe52e368eb553b92e34c9abd6c6fe00592","datavalue":{"value":"1261.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916219$7E667EBE-A12B-4440-93F0-39106EF97D47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c4d368afcad6c0ffc90cc08a82879d4a7a111c4","datavalue":{"value":"10.1016/S1571-0661(04)80650-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916219$F9DA0F0A-D2B0-402E-81CB-840654E5246E","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":"Q4916219$EF27C6FE-768B-4125-8B21-D5D6CD48CF54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916219$B2847C60-2140-4A41-9FE9-959331FFDF42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916219$F1AA4730-F258-46C9-8E99-FE3ED3B4CB26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916219$4869CB41-F3A3-4836-A127-D6AB45B0869E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916219$B1C43912-82BC-4520-95E9-54E066645094","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68656c95656523b73a3db6fb34c01dbfcea040f5","datavalue":{"value":"6156027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916219$47D88497-CCB7-4874-91C6-7236870C9C40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a913d5e310150708940f0add58564956b1b0124","datavalue":{"value":"Nelson-oppen combination schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916219$6EC1F6D3-7772-434D-AD45-8434EEEE2E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f03f3e84760c90f7412f657674fcdcfaca409b93","datavalue":{"value":"fusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916219$99AE08FB-85BB-4D6D-85EE-DD5742E31FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab27f648cad08668369d76b7e10dfe545610fe7d","datavalue":{"value":"superposition calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916219$1AAB2659-DDB3-413F-A667-B840D9D3D882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916219$15009343-EDAD-4854-92C0-78A1BDE9A3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eab10067cd931467ede1ed593ce68a2d0ce68f4","datavalue":{"value":"model completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916219$B4F72A77-03A3-4993-BF0C-6B7F477FD9AA","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":"Q4916219$B541515B-2B97-4F58-A30B-1D5D615366A1","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":"Q4916219$2B9A6F33-BA94-4177-851D-7310BF2B9F04","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":"Q4916219$8773E89E-E0F5-4654-BDE6-5352DF56B903","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":"Q4916219$448A01EB-C938-4796-A960-C3B60E79EE97","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":"Q4916219$9D621896-0473-4BDE-8097-58B699984AE4","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":"Q4916219$AA0C941B-85A0-407B-B8FC-2F8C852741A4","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":"Q4916219$1266E033-FF8A-48B4-AFDA-B32C9A49EC67","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":"Q4916219$89762531-7ED9-484F-9FFC-3A197A9BF1BB","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":"Q4916219$DF01CBE9-4574-4064-98A0-18FB8042643C","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":"Q4916219$A730214B-7F2C-446D-97B9-63C80506CBAE","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":"Q4916219$3B7C1426-7883-4C55-B556-48B51C0B0D79","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":"Q4916219$C990A9C2-754D-4E45-8A27-67C989A15208","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":"Q4916219$962498F3-36BC-49DD-B6EA-E2CEAD6A5D70","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":"Q4916219$10AF1E7A-6D71-48B4-93DC-CD1EE0368DC5","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":"Q4916219$1F971E2F-73B9-4F89-A175-B8C73144B980","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":"Q4916219$E6D6AE9C-461B-4BF2-8857-1C775899FB7B","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":"Q4916219$182A243B-AA00-4061-801A-C9BEC670BEDB","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":"Q4916219$05DFA94A-B965-47A6-A3F5-7EA400653700","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916219","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916219"}}}}}