{"entities":{"Q812081":{"pageid":813929,"ns":120,"title":"Item:Q812081","lastrevid":64554816,"modified":"2026-04-11T20:40:23Z","type":"item","id":"Q812081","labels":{"en":{"language":"en","value":"Selectors make set-based analysis too hard"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5000194"}},"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":"Q812081$95DD8CD4-3EA3-4787-B209-D069BD85281F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e73382c2abca1f8ec46b4d5aa0a8abf8bf636211","datavalue":{"value":{"text":"Selectors make set-based analysis too hard","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q812081$642A15B3-414A-401C-853A-DDCB6DCD24AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95c757a329fa7a78f8956ecabf7be71ce07afb4c","datavalue":{"value":"1083.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812081$5149B388-8FD1-45DE-9550-3EDD3AE4175C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87c750d0608cdcf01fabfb957c03341f16397e7","datavalue":{"value":{"entity-type":"item","numeric-id":812078,"id":"Q812078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812081$5AFC0252-AE6C-4E43-97C9-A96BE2B8FB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fc9d3172fe75452b314c51310bbc562cf6b0e7f","datavalue":{"value":{"entity-type":"item","numeric-id":812079,"id":"Q812079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812081$4E5158E0-5890-49BE-B84A-F3E27B229EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3db00278be2752fdc8bbe79d08b45d6dc983dda","datavalue":{"value":{"entity-type":"item","numeric-id":812080,"id":"Q812080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812081$E772A08B-8F8E-4A78-905F-720AF6C77881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0df46863ce98323a92df75a33b2683b5441c935a","datavalue":{"value":{"entity-type":"item","numeric-id":808686,"id":"Q808686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812081$07E22E41-C19E-465C-B056-DD5E7D571BFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812081$0FF5E375-80C2-4948-93E9-8F96A5C5E566","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6610cb28786ccc6a9ecdb40c1345499030b519d5","datavalue":{"value":{"time":"+2006-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q812081$66834939-648B-4C19-A988-D630DD2277C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812081$3EBEFEC4-AB4C-4E8C-9129-870365A96E07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aba15dfc0e5f3420311cc6499d6088544657c167","datavalue":{"value":"5000194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812081$E4626752-8F12-4D78-B1EF-604E8EF27138","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8f46c67e150da7cb03907a0d6cfb00ff75df353","datavalue":{"value":"set-based analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q812081$F7BAC7BD-5F3D-429E-8490-4652F78E71DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q812081$0D1FD40E-935C-46B9-9EEF-84B6AC15DD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b9cbb24e5e0d78f618985e7b19a1f54d153a89","datavalue":{"value":"static debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q812081$35586BC7-BD4C-4C7F-9418-A860DC100C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"712780bff5d31ce390414912a4929310e4ea1b60","datavalue":{"value":"Scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q812081$225F5112-5E89-4B33-85E7-F39FF73BD0D9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dfc04cb9d60b5d55b254e88c83f4544e393bedf7","datavalue":{"value":{"entity-type":"item","numeric-id":14005,"id":"Q14005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812081$8651B3BB-32F9-47DA-8676-2F2E59745927","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":"Q812081$D42AA28A-A82F-4F81-ACA4-C771F9289AF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"591a5e7ced660407c438b15a7d96a10ceaf66a9d","datavalue":{"value":"https://doi.org/10.1007/s10990-005-4876-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q812081$CC44569A-DE1F-492D-927A-3B3AA0B3562A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87cd8a68c970f7663b49fe884e89c3fe810cc53e","datavalue":{"value":"W2098491453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812081$AF443E6D-06D8-48C7-9128-C6278C20CCCF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9b11bc3b3da7d3aa6e2b0101c4edd6ff5bfcb8","datavalue":{"value":{"entity-type":"item","numeric-id":1818069,"id":"Q1818069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812081$144C516E-153A-4558-85DD-D17674844EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812081$B0342F80-1A68-4EAA-AA80-9B7C15791B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e7983e8818d5428e9c80c9f734fa8efd6a2e0b3","datavalue":{"value":{"entity-type":"item","numeric-id":4331137,"id":"Q4331137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812081$0D811452-7AC6-4D05-BD30-009211E28229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d32270460e49f99416cf9e4f7a558708e1423c","datavalue":{"value":{"entity-type":"item","numeric-id":5348872,"id":"Q5348872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812081$AAFF7F22-3BA4-4225-B68A-1CD4951798A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce25a4a8232222128f4982fa9c99ead81adfe344","datavalue":{"value":{"entity-type":"item","numeric-id":4319801,"id":"Q4319801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812081$7E473CD2-CA7B-4E34-8393-6F07ADD03F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca84250d04ac64f57384bb78d3abc6b949308b6b","datavalue":{"value":{"entity-type":"item","numeric-id":4738358,"id":"Q4738358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812081$6D3F990D-3495-4E9F-AE04-39E23A2DABE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9140f86202844d86be059b8d74e822daed0aad5e","datavalue":{"value":"10.1007/S10990-005-4876-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812081$F99B1FD7-30BB-40D7-8705-34A4D2878082","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826b87e6f46dd083f1192a1b98c6ff08426c5025","datavalue":{"value":{"entity-type":"item","numeric-id":5348872,"id":"Q5348872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"388e8a9d92416d9c59160c993c38c22a5f7eb1be","datavalue":{"value":{"amount":"+0.760177731513977","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":"Q812081$8455B562-BB61-445E-A637-26F1654453C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd98242d6c70f9d56586f33b129963682c024d6","datavalue":{"value":{"entity-type":"item","numeric-id":1818069,"id":"Q1818069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6f11f784af51b1be2b3c4ff43426d1e04b5052c","datavalue":{"value":{"amount":"+0.7042088508605957","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":"Q812081$EB876C38-8D0F-4B30-A0AD-5A40E96F2C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de62c75aa6c94667afbae92a087cf32328d9c6fa","datavalue":{"value":{"entity-type":"item","numeric-id":2038063,"id":"Q2038063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea850989fe263b5dd6c7a7d5d018c4e72bcc1d3","datavalue":{"value":{"amount":"+0.6940599083900452","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":"Q812081$56312377-1166-4F7E-BE82-7C143737B67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274da8ff08c080d65a09221d3175242e79d318a2","datavalue":{"value":{"entity-type":"item","numeric-id":5178862,"id":"Q5178862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e95a25c09ee7b1cd75adc8ecd8f9e62d2e17cc80","datavalue":{"value":{"amount":"+0.6838394999504089","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":"Q812081$C30FC3AE-2E2C-409D-A358-078613928C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acbf1f6e8d271b41f54a23cd08271eb6ab617ac9","datavalue":{"value":{"entity-type":"item","numeric-id":1605223,"id":"Q1605223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79fd39cd44356411d8d1f53c68b7e3637412bb7c","datavalue":{"value":{"amount":"+0.6806482076644897","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":"Q812081$B4EA77CB-685C-48D7-8C10-9710E0D2B6A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Selectors make set-based analysis too hard","badges":[]}}}}}