{"entities":{"Q3617762":{"pageid":5647668,"ns":120,"title":"Item:Q3617762","lastrevid":50618975,"modified":"2026-01-14T14:24:55Z","type":"item","id":"Q3617762","labels":{"en":{"language":"en","value":"Static Analysis Techniques for Parameterised Boolean Equation Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535637"}},"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":"Q3617762$43605B7B-6E98-4200-9CEA-4A648FE7E264","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee0b2a151b954f1781148629b64480debeb458e4","datavalue":{"value":{"text":"Static Analysis Techniques for Parameterised Boolean Equation Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617762$1732E509-1178-4438-AC35-1084DB544022","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c0946656c70d61256666aaf6fce3bcedf6a4454","datavalue":{"value":"1234.68263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617762$C768F93C-603B-4544-BA0C-49A93D554B21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f26cbcf4fd9310f43cc8b4e78fcf30639ddc5ff","datavalue":{"value":"10.1007/978-3-642-00768-2_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617762$B80326A5-5F63-4E74-A8DC-2D999126906E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2652922bfca31ce2044bca7ed71686d498c8b00f","datavalue":{"value":{"entity-type":"item","numeric-id":960853,"id":"Q960853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617762$2CEA21E8-E29B-41F2-812A-31731B250211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5e84fe9e7bf533d1ab33d10a27c52dad4dc5f45","datavalue":{"value":{"entity-type":"item","numeric-id":672480,"id":"Q672480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617762$0101464B-87D4-467D-B874-3B53C82D3265","rank":"normal"},{"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":"Q3617762$9FB27C97-01A7-451A-802A-204657EF6B8B","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":"Q3617762$596241F5-0ED2-4436-BA36-C0E42506E49D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-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":"Q3617762$4A8899C6-3BA1-4237-8EF7-9C10B6327ADD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617762$8550742A-967F-490F-8EE9-460C354D54F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617762$B891AFC1-9528-4A8E-A968-CA17EC71CCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617762$EB0ADF4A-0D07-42D2-938D-3D313EB3C1B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bc5a0b5471664b9fb5c0886ceb5aafd413517f0","datavalue":{"value":"5535637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617762$2D63B3D2-08E7-4828-A6AB-2355E025A489","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":"Q3617762$A99960DD-B065-42B1-842D-6A00A1D2DF36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98ac07396e3fac87b0c8218a525d321c1fb75c57","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00768-2_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617762$B60C069C-221E-43F7-9256-915C3B85D84A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce4fdf5be748ee2b60a4bf44630edaed31a7fa1c","datavalue":{"value":"W1605821400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617762$55090159-6B74-4D15-A2EE-1511FC0F2A58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08b539c49b8cbe3f04ffffa52f172c4ca6d1d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3525633,"id":"Q3525633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617762$2CBD5762-B344-4076-B1CE-741E013E2745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617762$89FFEE3E-BB58-4C3C-922B-167F536D91F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa8e69ab0193656de05f0d276585a34718bfb71b","datavalue":{"value":{"entity-type":"item","numeric-id":5505619,"id":"Q5505619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617762$A156C4A2-8730-4375-B4A0-999C5EA71713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78a3a50de3ff9fbe1c2ef9d48d581cfc82992e1","datavalue":{"value":{"entity-type":"item","numeric-id":2486254,"id":"Q2486254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617762$B8800E84-876B-4846-9EFB-54FDAB8C426D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23c0356f00997568a4551b3bbe478c9e8f6e2dc","datavalue":{"value":{"entity-type":"item","numeric-id":2571204,"id":"Q2571204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617762$D558B0D1-7AAE-4276-AF42-DCA5F5EFE061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e07930ce4911f611d084d7578c97cdc8fb3f729","datavalue":{"value":{"entity-type":"item","numeric-id":2763694,"id":"Q2763694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617762$D79F3F76-1E55-4CFA-9DCE-44EB06F1C190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1212badee2dd4c6b49372eb8d0a6f25121e08f2","datavalue":{"value":{"entity-type":"item","numeric-id":3541018,"id":"Q3541018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617762$DB4094FF-E8AD-49CB-AE1F-F4B861F837D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e81f1ba690a11e8176634e917feb344e5153c29","datavalue":{"value":{"entity-type":"item","numeric-id":5312997,"id":"Q5312997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617762$A4BCD9C0-DDF9-4A66-BFF3-CD201DA2F7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617762$2E8F68C7-72DF-456A-A608-A07B4A5FA17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff4534adee0f69328123b752d6291e46a859765","datavalue":{"value":{"entity-type":"item","numeric-id":2863901,"id":"Q2863901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617762$DA2FDA27-4348-4D73-BD8C-6C252947E985","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b169ac0b6ae979ce11d8bfee6e252e9a990168","datavalue":{"value":{"entity-type":"item","numeric-id":5505619,"id":"Q5505619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d3ffe6ee276309b5328798d86ebf74907f0a0c","datavalue":{"value":{"amount":"+0.8648087382316589","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":"Q3617762$82AA2D09-0428-42D2-B2CE-E6CF5D960581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9a132f02bcb8f666c8d7446168f285d89d8926b","datavalue":{"value":{"entity-type":"item","numeric-id":3457791,"id":"Q3457791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28dbbdd245cb4d4672960491917c6c45860eaaae","datavalue":{"value":{"amount":"+0.8515398502349854","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":"Q3617762$5A90FDA1-7E8E-473B-82E6-C3259B543DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621ad02f400cbd004b143fb52a7f7145be65c0a7","datavalue":{"value":{"entity-type":"item","numeric-id":716322,"id":"Q716322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b357839b62da6f344950455d8716db1f7ad5a3","datavalue":{"value":{"amount":"+0.8261180520057678","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":"Q3617762$0BFA4994-9466-47E6-B736-C41E996875B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"332e772fe0a808e87c8b45b623fb424c6372a321","datavalue":{"value":{"entity-type":"item","numeric-id":5311482,"id":"Q5311482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f21bb9efc07ebde8702edf059773212980a7106c","datavalue":{"value":{"amount":"+0.8192450404167175","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":"Q3617762$1B0AB0BA-5B57-4F3B-8405-3C164B2B60A7","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":"c855594d283821381662e59da599f227c9526da4","datavalue":{"value":{"amount":"+0.8167589902877808","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":"Q3617762$406C0A56-A832-4C26-8A98-CBA174A7040C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3617762","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3617762"}}}}}