{"entities":{"Q5758134":{"pageid":7787685,"ns":120,"title":"Item:Q5758134","lastrevid":50155010,"modified":"2026-01-13T07:08:24Z","type":"item","id":"Q5758134","labels":{"en":{"language":"en","value":"Combined Satisfiability Modulo Parametric Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5185807"}},"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":"Q5758134$57A15A64-6C35-46AD-A7CB-8C4CD8B623E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca255608f795c7ac910407c993327df358aad85e","datavalue":{"value":{"text":"Combined Satisfiability Modulo Parametric Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758134$121CF963-85D0-44DE-BE0D-B3D62F8DAB62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81d54750a43bfd98bd671898a7c3a50da44a5078","datavalue":{"value":"1186.68297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758134$34D1AD59-D4EB-40BB-91B2-D13B03284047","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e733915aa280a6888df0ce3120be75d7a9092742","datavalue":{"value":"10.1007/978-3-540-71209-1_47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758134$28B5C415-F00A-48A7-86F7-82F238EEDA1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4553da8c1048cfe4c8999aaeff5b09130cfe2ff7","datavalue":{"value":{"entity-type":"item","numeric-id":1064406,"id":"Q1064406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758134$66F3A2A4-57CC-47C8-8C4D-42330C6FB30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ded5d73a1c3090755c930487a8f09176d403299b","datavalue":{"value":{"entity-type":"item","numeric-id":2881072,"id":"Q2881072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758134$9EF195A1-88B2-49F8-B1B4-B3C7D440A0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c86e6d71ff75c4160b75b01d9b253cef23cffe4","datavalue":{"value":{"entity-type":"item","numeric-id":1267032,"id":"Q1267032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758134$DF16A7F8-9CDB-48C7-B100-13465AD15704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758134$7EC360EF-9093-46A3-9DD3-E9F1809A8A6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758134$07DD2420-0F4F-42C5-8422-0BE83C2F6472","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758134$DBAABFC0-960E-4153-9929-801BC9538969","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758134$3466947C-844C-442F-9EED-E0C1B229ECB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758134$07F12A88-6D56-4262-BB43-7CEE0489061D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7a4e0e7f10c0191f51dff8037eb54ab5b3d87b2","datavalue":{"value":"5185807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758134$91F798C1-C9DC-4DBA-89A7-97D64EB13C54","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":"Q5758134$84EE9F22-A69C-4275-8C3E-72C33CCBEE1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39c5fd9641514ffe7b4052ff0bac2c58b276d870","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1_47","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758134$891C688B-F45A-4FCF-9523-5621D5802016","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"593da5800c6f45aef8885b2c8e13120916c47f7f","datavalue":{"value":"W1871671368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758134$CDDD35BC-1D06-47A2-A32A-ECC2CD86C2CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f943c54080b27de44312af7634875e7f707904","datavalue":{"value":{"entity-type":"item","numeric-id":5716582,"id":"Q5716582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a64ef6b35222cb4e6191c9d64e0f3ac226ce04c5","datavalue":{"value":{"amount":"+0.8223133683204651","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":"Q5758134$3A4F82B6-E0CC-4FB5-9489-517EE2E8C2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fac353e4409e0c941bb0d4dbefcc97d2aa18517","datavalue":{"value":{"amount":"+0.8069282174110413","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":"Q5758134$EA1FE1D6-5427-4955-8357-CFD28483F7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a43da73541e40b8d93166832aeb92cd4bee415","datavalue":{"value":{"entity-type":"item","numeric-id":2830018,"id":"Q2830018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"641b6a495097e043f6d05c6b05f930ea41d22ac7","datavalue":{"value":{"amount":"+0.8067620396614075","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":"Q5758134$188E0FCC-F40A-4E1A-81A1-C484F863A4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a670809610521a970d1b9c4190ab763d68a9f3","datavalue":{"value":{"entity-type":"item","numeric-id":5179357,"id":"Q5179357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1730805a7092109e5e3f92234bd51be36131d37","datavalue":{"value":{"amount":"+0.8004627227783203","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":"Q5758134$1FAE4278-47BD-4126-8169-D59A8D875FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"366160be39060c2677294b30ffb9bdf80367eae4","datavalue":{"value":{"entity-type":"item","numeric-id":549666,"id":"Q549666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d10be9234a764b7551105a344b85673ebc1647ca","datavalue":{"value":{"amount":"+0.800183892250061","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":"Q5758134$543152FB-79EA-408C-9999-E31A91BB1334","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5758134","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5758134"}}}}}