{"entities":{"Q2013557":{"pageid":2024299,"ns":120,"title":"Item:Q2013557","lastrevid":52873238,"modified":"2026-01-23T16:53:14Z","type":"item","id":"Q2013557","labels":{"en":{"language":"en","value":"A procedure for deciding symbolic equivalence between sets of constraint systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6758666"}},"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":"Q2013557$63B96BF3-2C30-4C7A-BD5F-4E6B76D0BC3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93abca0db29bfe1a732c6fddd0d102569dca3921","datavalue":{"value":{"text":"A procedure for deciding symbolic equivalence between sets of constraint systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2013557$4B0BDB5F-C751-4819-B7CB-B6568FB928E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94b0728f26407d64941589deeb5ad48830894806","datavalue":{"value":"1371.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013557$DCE23DCC-0503-4387-AF90-0AD3A044D814","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92ce5379312fabb85a719672eceef973054125c8","datavalue":{"value":{"entity-type":"item","numeric-id":391118,"id":"Q391118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$632162E1-04F4-46C1-944B-57C57584A4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f520d915db58b1deff0a192b1bdf4c695119eda3","datavalue":{"value":{"entity-type":"item","numeric-id":462487,"id":"Q462487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$2C93F8D4-BD2B-4D2F-AA60-A0D1354F563F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008edee8fc18ab1cd9ad59e3974fb7e15a23ac24","datavalue":{"value":{"entity-type":"item","numeric-id":391120,"id":"Q391120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$2064B9C2-950A-4435-8A32-905D295145D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$42E60774-F7FF-45BF-8D2B-81BA6CBD9EE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"103a35658eea03bd788b34f359587c9a72983f21","datavalue":{"value":{"time":"+2017-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2013557$ED6D7FAC-701D-46F6-8DA6-2E6ECF135E2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba3dfc7732519c43d6e4255ef2f2b74501204b0c","datavalue":{"value":"https://kar.kent.ac.uk/46882/1/CDD-IC-submitted.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2013557$9092CC7F-457B-49B5-A0C0-84D9617D3979","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013557$711587F6-516A-4022-BA29-35418C4227C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013557$02BFFF28-D2DA-4307-87FA-DB3D4E352CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013557$B6BFF573-C09F-4041-82A7-F7289CC37097","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4f7e5d463c0c0fce9c6a35c441cc00d30041437","datavalue":{"value":"6758666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013557$44BCEA9A-A387-4602-AC03-40A60E6EBB24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013557$ECC6BB53-66EF-4B24-AFC8-B1F4BA67253B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013557$5D08807E-5ADA-4D0D-AD10-359931D44653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013557$A63F3E26-FDBB-4DC1-8F3C-D47F98BDBE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfab1c5494944d8e4a0f4d44b764dbedded3d2f","datavalue":{"value":"privacy-type properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013557$AC487F60-6263-41A5-A7DC-98B0D387D823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db93784d0b1d6ac64f1aa2dbdd7e97653753f8f2","datavalue":{"value":"symbolic model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2013557$59367BA3-95F1-429F-B283-10AB0CC7B0B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$8828970B-E6D0-429E-8743-C088F3BA4BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2fc64fffeaea70a069713ebb8f2a7eb573aca821","datavalue":{"value":{"entity-type":"item","numeric-id":21450,"id":"Q21450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$E91130DA-57A6-46B1-8F05-270F36C1E67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d9ffa40fc67c7e91bee6175e789c3c3247a988d0","datavalue":{"value":{"entity-type":"item","numeric-id":35211,"id":"Q35211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$31530023-B5DB-4EF5-92A2-8127C9B5FD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e372abbbc9bc0159c7c0676ebe9e1a66939a34e","datavalue":{"value":{"entity-type":"item","numeric-id":32422,"id":"Q32422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$B0A8A22D-AF2B-4943-8504-C90795C65AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fb98786abf31f77bc4a017db36bf2b58585d1ed3","datavalue":{"value":{"entity-type":"item","numeric-id":32423,"id":"Q32423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$76522B0F-80A0-460E-8C29-D6B4ACCC6504","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":"Q2013557$C4C7C477-B2AE-43EA-98B5-104D9B6E7FDB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22d368588410c10df03692e4cdffcdb2fe581191","datavalue":{"value":"W2609153124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013557$3580CEA6-FBBA-49AD-A16C-79682ACA63DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"766f3e64390acc4c220dfb9b10c7d0bad57454c8","datavalue":{"value":{"entity-type":"item","numeric-id":540683,"id":"Q540683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$12FE22F7-76B2-4223-B3D3-5BA206B275BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$D94BD489-F8AB-4821-A0B4-DBCFB41B8189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500b7013db46803970c07a38c3e11d7b9fe62b46","datavalue":{"value":{"entity-type":"item","numeric-id":5716566,"id":"Q5716566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$BD742D3C-739C-43A4-9D1B-F7B6325BAD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ef94cd854f261a03421632ce7dd586f76d29c7","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$0DD03D94-2215-48C8-8EFA-E4F69CF53790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5f78d062cb5b9397057492f87283ce3bfc9df7","datavalue":{"value":{"entity-type":"item","numeric-id":391121,"id":"Q391121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$100970CE-CEB7-4CDC-B087-DDAF1525193D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b625e09cc861ea2dc29ac6d985a655aa3ce13538","datavalue":{"value":{"entity-type":"item","numeric-id":437031,"id":"Q437031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$3ED6084E-9F07-4B3E-A732-29181DF648F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92093ba17f34df8f4fe5be21dbc0561047e5788d","datavalue":{"value":{"entity-type":"item","numeric-id":2892723,"id":"Q2892723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$0147E1E5-9B27-4508-B4B6-3FB59794DCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef20d14da29fdd3f0fb31d7aa85ef7dd6d882b34","datavalue":{"value":{"entity-type":"item","numeric-id":5326762,"id":"Q5326762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$F985C58B-CEEA-4D37-850F-A72380BD3795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f93452b91edda8da8109ddb6ad4a31477422917","datavalue":{"value":{"entity-type":"item","numeric-id":1881255,"id":"Q1881255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$7D647240-A41E-44F0-A52B-76AB0E8A931C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"552bf039ed0a24c8a4a34dc5dcdafecc32a34e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2946596,"id":"Q2946596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$07F32D41-D5A9-4EB5-AC11-0AE442094BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e506e4af8108702e5b9b9b42874a27b1aa643df","datavalue":{"value":{"entity-type":"item","numeric-id":5703857,"id":"Q5703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$552F8531-BC6B-4AC4-9504-D6BDD33B47C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$19A1177C-B113-4EFF-AE54-0CF41B70B5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$5BC13E94-3DDC-43A7-8407-D23C6C3961B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0de528048102a53c4a18deb26d5245930dec75c","datavalue":{"value":{"entity-type":"item","numeric-id":5747780,"id":"Q5747780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2013557$8D3FE07F-9FC3-4DE4-8C19-76DA578909E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52370e69d4d12cb91a5458c1b1a3c4c4e07b483a","datavalue":{"value":"10.1016/J.IC.2017.05.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2013557$8CDDCBF3-C2D9-439B-9BC2-4AF23BC1C419","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a94fd8dd4d0730c1b5df75b2bd8ea2cde773cada","datavalue":{"value":{"entity-type":"item","numeric-id":5747780,"id":"Q5747780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6684197d691dd6911cfef9a39c58df67619626d4","datavalue":{"value":{"amount":"+0.8937393426895142","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":"Q2013557$ECC9B512-1F8E-4BDA-8E5A-A50EF7D74C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8defb382480503002f67fdfe92e7f4be08066b6","datavalue":{"value":{"entity-type":"item","numeric-id":391121,"id":"Q391121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d78fe55627bd9613ba67dc404f5f02129b102c47","datavalue":{"value":{"amount":"+0.8811214566230774","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":"Q2013557$358E0B91-1FA7-4715-8023-D5648BCD916A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ee2e34356e15e2fa81ab628ba9df71231596d6","datavalue":{"value":{"entity-type":"item","numeric-id":511946,"id":"Q511946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf1cb046419239f4a363a99312f9fae8a299fba2","datavalue":{"value":{"amount":"+0.8029874563217163","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":"Q2013557$74393770-99BA-4E0A-B428-157A7AC13B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5abadcd552491b54fcffb3d1142d50660c488233","datavalue":{"value":{"entity-type":"item","numeric-id":5270090,"id":"Q5270090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fba3e01eb6ab3f4f626dcb5aa69e83e7ad01454d","datavalue":{"value":{"amount":"+0.7969231605529785","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":"Q2013557$5765AC9C-5631-4E49-9F15-4C1F7B979EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a15116b1be972d2907d7920a038c033b8fdca1","datavalue":{"value":{"entity-type":"item","numeric-id":3190130,"id":"Q3190130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1590ad6e7ce5686af7116b2d85f90042d0e55731","datavalue":{"value":{"amount":"+0.7930744886398315","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":"Q2013557$5194B01E-0E89-404D-99CE-44D3DFF0A405","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2013557","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2013557"}}}}}