{"entities":{"Q5222977":{"pageid":7252547,"ns":120,"title":"Item:Q5222977","lastrevid":41642872,"modified":"2025-05-06T16:29:50Z","type":"item","id":"Q5222977","labels":{"en":{"language":"en","value":"SMTS: Distributed, Visualized Constraint Solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7076886"}},"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":"Q5222977$9034FDA0-F96A-4AB0-8AF4-603C6903517D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b6697d6630b11f8b2472ec36bf22cb504a6028d","datavalue":{"value":{"text":"SMTS: Distributed, Visualized Constraint Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222977$D7B8E361-6AC0-4CAE-A977-C69CE956C5B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"298d74ee4b50dced477f9a6c6b39fe2d7d6a1db1","datavalue":{"value":"1415.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222977$1D2D64F3-A56C-4457-B513-26043043C526","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1f6444d049d9c57fcfb1a50096c7c7e894d6dbb","datavalue":{"value":{"entity-type":"item","numeric-id":784139,"id":"Q784139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222977$26B70FDF-ADAE-42F3-AB33-DC67AABF018D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ebfd430f823a6478294286ff8c6d38b91b1861a","datavalue":{"value":{"entity-type":"item","numeric-id":784138,"id":"Q784138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222977$3FB7E72E-F826-41B6-ADCE-C944F6007279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222977$696D4AAC-BDA6-4333-A96C-C5DF68FAF77A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222977$92113D52-C2A7-4CB0-B2D7-9B552B65483A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311afef0a4b95245df7f6c2908ad6e9d40f3f2be","datavalue":{"value":{"time":"+2019-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222977$A0F14DA8-EB18-4E11-B029-DD9A7194BE8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222977$E9E4AF01-EA55-4F6E-B76B-60D1432BDB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222977$77BC9959-38F1-445C-AB15-F35B5D7A7DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222977$429CA751-65FA-41A5-821C-38BC077AEABC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74f5220a3073d21b4be82039a23a89fc905f196e","datavalue":{"value":"7076886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222977$8EA0FF03-23E2-431F-836B-93A9C57105D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fe09541bc283acb0f118d78b4fe8b5fa71865c3","datavalue":{"value":"algorithm portfolios","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222977$BFD2EEEA-4DDD-425E-8D85-9372A023DB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29d940e827083dc546bdc735fc22b8338f1c8a5","datavalue":{"value":"distributed IC3","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222977$C3D30E90-43FC-466E-A13A-E50A64E306AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"702bf608ae19c296211859d7851a7ab5091a4387","datavalue":{"value":"distributed SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222977$0B328211-7454-4002-98BA-5BF442FCE9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7408119b742974ff13b5f31e4034650ba9fb110a","datavalue":{"value":"divide and conquer","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222977$C4771521-7174-4E34-9DC3-88AD0959DA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef4abb6c18f018abc976ca560e9f9ac5d51a8e08","datavalue":{"value":"web-based GUI","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222977$8AC2C219-54FA-4EAA-BB6F-B8D06EF9E721","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f36ef9912d31e7e06afcc965c90f8365b4460122","datavalue":{"value":{"entity-type":"item","numeric-id":30501,"id":"Q30501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222977$F9267EEE-6512-4A27-8AC5-3C970D554515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222977$B3E1498C-D62E-400F-97AF-38AE4D8E7E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ddde6000e0084e3f03259d910ca7a9b66b9c76eb","datavalue":{"value":{"entity-type":"item","numeric-id":41017,"id":"Q41017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222977$AB48475E-4FD5-4264-A050-D279E28825B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c2e88c3e093f252840def020d846265cb56777f","datavalue":{"value":{"entity-type":"item","numeric-id":32840,"id":"Q32840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222977$68571916-020A-430F-A7BD-BCE87E13D5A3","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":"Q5222977$7FABED1F-E05E-4388-9CAB-14CCCF7D045D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e36937e640a4dd497bc6dbb922223b5cea968a3b","datavalue":{"value":"https://doi.org/10.29007/fhgn","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222977$E5DEB5ED-49F4-4F8C-8205-BD1DFC59FF61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a43325d468e00fa861395deebb5840367f26e150","datavalue":{"value":"W2906882231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222977$458CC48A-DC9D-4897-8112-7692BFFC4756","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9aad9818999108c56ae541a21fbf1063c9aac22f","datavalue":{"value":"10.29007/FHGN","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222977$2D9B78A1-CBF8-41C0-A8F1-E51A3DCDEADC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76729df570c7e1b7eacd2a5d8d2fe2be8e9765f9","datavalue":{"value":{"entity-type":"item","numeric-id":4930597,"id":"Q4930597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5257150c48ee81b04fbc1fdd2e317e7b5ffe1892","datavalue":{"value":{"amount":"+0.8693595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222977$8F06C09D-01D4-4419-A809-213DD6D9F54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd8b815d14fabcc484cdc5d95e955c0bda415244","datavalue":{"value":{"entity-type":"item","numeric-id":4424864,"id":"Q4424864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"845c16e14089ff2ab2e4a65aa2a85732bb628e19","datavalue":{"value":{"amount":"+0.8643267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222977$31CD35A4-034F-453B-8AD9-F8E896E87C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2b441b6249dba04885f802896c5bfa7b6e9613f","datavalue":{"value":{"entity-type":"item","numeric-id":4593098,"id":"Q4593098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6dc584dfa932f7b66f9dcdf621d49e8a6255b9","datavalue":{"value":{"amount":"+0.85727805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222977$0BCC254A-03A3-4B23-A820-4C1E56868A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1346580ce6552864b634d2cc28ebf073284b7503","datavalue":{"value":{"entity-type":"item","numeric-id":2365137,"id":"Q2365137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f36068e40865bf52896705e650972b1a34c83ac","datavalue":{"value":{"amount":"+0.85474145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222977$C80897DB-8EB5-4439-AFA3-D2C9EBA7B938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13159a8065c01ba3c92ec521eab2110c1ea3c645","datavalue":{"value":{"entity-type":"item","numeric-id":4012213,"id":"Q4012213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2a28a14b50807aa95d8d6e774463b28b6fc04c","datavalue":{"value":{"amount":"+0.85160124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222977$9D2D7467-05DD-4532-8868-9F5E51AEB35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0b235c969d9877296523b36975328d8b7df7840","datavalue":{"value":{"entity-type":"item","numeric-id":1749390,"id":"Q1749390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d254e00f29ff3603daf6db383fe5b778cf6fae3","datavalue":{"value":{"amount":"+0.85113716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222977$FC4FB7B2-EEEE-46FD-A521-1745F408BA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"423a7162d275f01b6302799e698faf759f15bd7b","datavalue":{"value":{"entity-type":"item","numeric-id":3524204,"id":"Q3524204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6f02edfbe3347de1328c464e0c463158b47272","datavalue":{"value":{"amount":"+0.8511301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222977$72455FE3-888F-4EC3-B924-8326BC814413","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222977","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222977"}}}}}