{"entities":{"Q3584957":{"pageid":5614861,"ns":120,"title":"Item:Q3584957","lastrevid":51066113,"modified":"2026-01-16T11:44:07Z","type":"item","id":"Q3584957","labels":{"en":{"language":"en","value":"Consistent correlations for parameterised Boolean equation systems with applications in correctness proofs for manipulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5776488"}},"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":"Q3584957$1EA7016B-5E98-4645-B988-830CC6D19DC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"138b5f4cdcfe0f6d833baa4dccb32b5180a52191","datavalue":{"value":{"text":"Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3584957$8A4A32CB-A89D-4C7B-A2FF-2447E0DC9A23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0842306708c3aa7bfa31adc0e31cdc9f0782bfe7","datavalue":{"value":"1287.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584957$131549ED-A525-4733-A017-F89A5A13FFC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bab1a759158b071a5da4c54b7b9e32ef7fa90f1","datavalue":{"value":"10.1007/978-3-642-15375-4_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584957$7F3A7761-AFF1-4D00-8761-67E02EDDDF7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"405abd31eec1b567fb53a842d4fed5a014e7096f","datavalue":{"value":{"entity-type":"item","numeric-id":3584918,"id":"Q3584918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584957$5DF731B8-74FD-493A-859B-C922EFDAA014","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb30be9aa52453b28e16b3393b2ab68c6420e54e","datavalue":{"value":{"time":"+2010-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3584957$4401445E-D51D-4FCF-9049-091C17BB0B8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584957$57917D70-8570-400D-92B9-3C049790464E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584957$457521AC-A1AD-4DCE-89C0-871E3A0F8679","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b9df52f6730d80739928b90cdc319458403ddf2","datavalue":{"value":"5776488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584957$9E56E401-56C5-4144-B7A5-7CF9C09E6158","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584957$7FD45DBF-C101-472D-A231-25BBD1ED36BF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584957$26AC46C6-4B8B-49F1-8634-D0FEEA2ABB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584957$DC7D6F90-6F17-43E6-95AA-BD5F7D4879E8","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":"Q3584957$FF9990C9-0628-49FE-B824-4916409A9576","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"def91e424b8ef1584871c6a8d97cc3b68dceadd9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15375-4_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q3584957$112939A4-F92F-4255-9F95-AEEABCB03C5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19a8fb593132901ae5fcfce5a5f0bd2bb3dc5d0e","datavalue":{"value":"W2129163528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584957$8B3324DF-6911-498F-A666-885D3213B010","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32bb6ec286d741840f92221d5847ba3e4b8d15b0","datavalue":{"value":{"entity-type":"item","numeric-id":2891375,"id":"Q2891375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c47d2a2ced411450b33358eabf138aa71dbdde24","datavalue":{"value":{"amount":"+0.8574097156524658","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":"Q3584957$BDE8D950-EAD1-4B1C-B0E1-946C25EE42A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7045402b4500ba5e62a6d6e2e3246a9f6755a94b","datavalue":{"value":{"entity-type":"item","numeric-id":2842127,"id":"Q2842127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96329f242c93902765321c77791669bc9455910e","datavalue":{"value":{"amount":"+0.7904152870178223","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":"Q3584957$0C9F07D5-B41F-4394-B1C6-7B3C3793E78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3c8c67625b075c2e1b47a2d03932d4a1a9e0b1","datavalue":{"value":{"entity-type":"item","numeric-id":960855,"id":"Q960855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a9f8d24c9497348d5be7159dfee0df1ee0e67e1","datavalue":{"value":{"amount":"+0.7722454071044922","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":"Q3584957$510D324F-626E-4E2B-9F9D-C8FA9CE932E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64fb2f737162f0dac3667b2240938e291adfba3","datavalue":{"value":{"entity-type":"item","numeric-id":3541018,"id":"Q3541018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca01f328406819e99b3dd115b41b074570788ff","datavalue":{"value":{"amount":"+0.7716383337974548","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":"Q3584957$265B53BA-30B8-44DE-9F23-835CA46DA86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde571dc989a7055b710a38e8dcd3ecb158ea3ba","datavalue":{"value":{"entity-type":"item","numeric-id":2571204,"id":"Q2571204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1cc70f099449be2686bd2715afa01a5ba0cf92","datavalue":{"value":{"amount":"+0.7600882649421692","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":"Q3584957$F941C108-61CE-45BD-A074-C58BB18412E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3584957","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3584957"}}}}}